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