Maamria, Issam and Butler, Michael (2010) Rewriting and Well-Definedness within a Proof System. Partiality and Recursion in Interactive Theorem Provers PAR-10.
Record type:
Conference or Workshop Item
(Paper)
More information
Submitted date: July 2010
e-pub ahead of print date: 2010
Venue - Dates:
Partiality and Recursion in Interactive Theorem Provers PAR-10, 2010-01-01
Organisations:
Web & Internet Science, Electronic & Software Systems
Identifiers
Local EPrints ID: 271221
URI: http://eprints.soton.ac.uk/id/eprint/271221
PURE UUID: 804ecc7c-cbdd-4922-9f3f-cf159a2f251a
Catalogue record
Date deposited: 04 Jun 2010 15:29
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Issam Maamria
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.