Contraction algebras and unification of (infinite) terms (Q1185240)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Contraction algebras and unification of (infinite) terms |
scientific article |
Statements
Contraction algebras and unification of (infinite) terms (English)
0 references
28 June 1992
0 references
semantics of programming languages
0 references
theory of recursive program schemes
0 references
logic programming
0 references
Banach principle of contraction
0 references
regular systems of equations
0 references
unification algorithm
0 references
infinite terms
0 references
0 references
0 references
0 references
