Inductive completion with retracts (Q1093368)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Inductive completion with retracts |
scientific article; zbMATH DE number 4022636
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inductive completion with retracts |
scientific article; zbMATH DE number 4022636 |
Statements
Inductive completion with retracts (English)
0 references
1988
0 references
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 inductive problems when functions 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.
0 references
inductive completion procedure
0 references
F-algebras
0 references
retracts
0 references
