Rewriting and Well-Deﬁnedness within a Proof System

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

Download

PDF
Download (230Kb)

Item Type:	Conference or Workshop Item (Paper)
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science
Item ID:	271221
Date Deposited:	04 Jun 2010 15:29
Last Modified:	03 Jul 2012 15:59
Contributors:	Maamria, Issam (Author) Butler, Michael (Author)
Date:	2010
Status:	Submitted
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/271221

URI:
RDF:	RDF+N-Triples, RDF+N3, RDF+XML, Browse.

Actions (login required)

View Item