Inductive completion with retracts
Mitchell, Bill (1988) Inductive completion with retracts. Acta Informatica, 25, (5), 497-514.
In this paper we give countably infinitely many extensions of Huet and Hullot's inductive completion procedure. Also we try and throw some light on the problem of functions which are only partially defined by some set of rewrite rules. We also give a procedure which attempts to show that two derived F-algebras are isomorphic when both of the algebras are realised as retracts.
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science
|Date Deposited:||04 Jul 2008 21:05|
|Last Modified:||01 Mar 2012 11:40|
|Contributors:||Mitchell, Bill (Author)
|Publisher:||Springer Berlin / Heidelberg|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)