A correction of the termination conditions of the Henschen-Naqvi technique (Q3495672)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4170132
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A correction of the termination conditions of the Henschen-Naqvi technique |
scientific article; zbMATH DE number 4170132 |
Statements
A correction of the termination conditions of the Henschen-Naqvi technique (English)
0 references
1990
0 references
logic program compilation
0 references
queries
0 references
recursively defined relations
0 references
iterative programs
0 references
0.7512508034706116
0 references
0.7423844337463379
0 references
0.734529972076416
0 references
0.7278317809104919
0 references
