A generic cyclic theorem prover

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)

[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: 10 Feb 2021 05:47
URI: https://eprints.mdx.ac.uk/id/eprint/15927

Actions (login required)

View Item View Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year