Rewriting and Well-Definedness within a Proof System


Maamria, Issam and Butler, Michael (2010) Rewriting and Well-Definedness within a Proof System. In, Partiality and Recursion in Interactive Theorem Provers PAR-10 (Submitted).

Download

[img] PDF
Download (230Kb)
Item Type: Conference or Workshop Item (Paper)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 271221
Date Deposited: 04 Jun 2010 15:29
Last Modified: 27 Mar 2014 20:16
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/271221

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics