Left termination turned into termination (Q1318730)
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: Left termination turned into termination |
scientific article; zbMATH DE number 540877
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Left termination turned into termination |
scientific article; zbMATH DE number 540877 |
Statements
Left termination turned into termination (English)
0 references
5 April 1994
0 references
termination
0 references
program transformation
0 references
logic programs
0 references
total recursive functions
0 references
