Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: K
Number of items: 2.

K

Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 (2012) Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011. Mathematical Reviews (283123) . ISSN 21675163 [Article]

Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 (2012) Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010. Mathematical Reviews (281788) . [Article]

This list was generated on Sat Sep 30 02:57:30 2023 BST.