Inductive completion with retracts
Mitchell, Bill (1988) Inductive completion with retracts. Acta Informatica, 25, (5), 497-514.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_postscript.png) |
Postscript
Download (188Kb) |
Description/Abstract
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.
| Item Type: | Article |
|---|---|
| ISSNs: | 0001590314320525 |
| Related URLs: | |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 266061 |
| Date Deposited: | 04 Jul 2008 21:05 |
| Last Modified: | 01 Mar 2012 11:40 |
| Contributors: | Mitchell, Bill (Author) |
| Date: | 1988 |
| Status: | Published |
| Publisher: | Springer Berlin / Heidelberg |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/266061 |
Actions (login required)
 |
View Item |
