A generic cyclic theorem prover

Brotherston, James, Gorogiannis, Nikos ORCID logoORCID: 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)

[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only

Download (299kB)
Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15927
Notes on copyright: Access to full text restricted pending copyright check.
Depositing User: Nikos Gkorogiannis
Date Deposited: 12 May 2015 15:04
Last Modified: 30 Nov 2022 00:35
URI: https://eprints.mdx.ac.uk/id/eprint/15927

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.