No label defined (Q4219044)
From MaRDI portal
scientific article; zbMATH DE number 1223728
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1223728 |
Statements
21 September 1999
0 references
well order
0 references
noetherian order
0 references
duality on binary relations
0 references
term rewriting
0 references
recursive path ordering
0 references
\(\lambda\)-calculus
0 references
generalization of Kruskal's theorem to binary relations
0 references
complement of reverse
0 references
Fereira-Zantema theorem
0 references
Dershowitz's theorem
0 references
