Rewriting and Well-De?nedness within a Proof System


Maamria, Issam and Butler, Michael (2010) Rewriting and Well-De?nedness within a Proof System At Partiality and Recursion in Interactive Theorem Provers PAR-10.

Download

[img] PDF PAR2010.pdf - Other
Download (236kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Partiality and Recursion in Interactive Theorem Provers PAR-10, 2010-01-01
Organisations: Web & Internet Science, Electronic & Software Systems
ePrint ID: 271221
Date :
Date Event
July 2010Submitted
2010e-pub ahead of print
Date Deposited: 04 Jun 2010 15:29
Last Modified: 17 Apr 2017 18:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/271221

Actions (login required)

View Item View Item