creators_name: Maamria, Issam
creators_name: Butler, Michael
type: conference_item
datestamp: 2011-02-24 08:57:09
lastmod: 2011-02-24 08:57:09
metadata_visibility: show
title: Rewriting and Well-Definedness within a Proof System 
ispublished: pub
subjects: Proof
subjects: theory
full_text_status: none
pres_type: paper
date: 2010-07
event_title: Partiality and Recursion in Interactive Theorem Provers PAR-10
event_type: conference
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/21221/
citation:   Maamria, Issam and Butler, Michael  (2010) Rewriting and Well-Definedness within a Proof System.  In: Partiality and Recursion in Interactive Theorem Provers PAR-10.     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>