A generic cyclic theorem prover

Conference paper

Brotherston, J., Gorogiannis, N. and Petersen, R. 2012. A generic cyclic theorem prover. APLAS 2012. https://doi.org/10.1007/978-3-642-35182-2_25
TypeConference paper
TitleA generic cyclic theorem prover
AuthorsBrotherston, J., Gorogiannis, N. and Petersen, R.
Research GroupFoundations of Computing group
ConferenceAPLAS 2012
ISSN0302-9743
Publication dates
Print2012
Publication process dates
Deposited12 May 2015
Output statusPublished
Copyright Statement

Access to full text restricted pending copyright check.

Digital Object Identifier (DOI)https://doi.org/10.1007/978-3-642-35182-2_25
LanguageEnglish
Book titleProgramming Languages and Systems
Permalink -

https://repository.mdx.ac.uk/item/854x8

Log in to edit
File access - Request a copy

Restricted files

Accepted author manuscript

  • 17
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as