On the union of well-founded relations (Q4383698)
From MaRDI portal
scientific article; zbMATH DE number 1138546
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the union of well-founded relations |
scientific article; zbMATH DE number 1138546 |
Statements
On the union of well-founded relations (English)
0 references
2 April 1998
0 references
well-founded relations
0 references
program termination
0 references
regular algebra
0 references
