Completion after Program Inversion of Injective Functions (Q5170160)
From MaRDI portal
scientific article; zbMATH DE number 6319512
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completion after Program Inversion of Injective Functions |
scientific article; zbMATH DE number 6319512 |
Statements
Completion after Program Inversion of Injective Functions (English)
0 references
22 July 2014
0 references
unraveling
0 references
conditional term rewriting system
0 references
convergence
0 references
innermost reduction
0 references
0 references
0 references
0 references
0 references
