Refinement of bounds of the height of terms in the most general unifier (Q1977922)
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: Refinement of bounds of the height of terms in the most general unifier |
scientific article; zbMATH DE number 1456187
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Refinement of bounds of the height of terms in the most general unifier |
scientific article; zbMATH DE number 1456187 |
Statements
Refinement of bounds of the height of terms in the most general unifier (English)
0 references
6 June 2000
0 references
most general unifier
0 references
depth difference
0 references
upper bounds of the heights of terms
0 references
proofs in Gentzen-type sequential calculi
0 references
lower bound for the heights of terms
0 references
