Items where Author / Artist / Editor is "Petersen, Rasmus L."
![]() | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Brotherston, James, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Petersen, Rasmus L.
(2012)
A generic cyclic theorem prover.
Programming Languages and Systems.
In: APLAS 2012.
.
ISSN 0302-9743
[Conference or Workshop Item]
(doi:10.1007/978-3-642-35182-2_25)