\(\exists\)-Universal termination of logic programs (Q5940923)
From MaRDI portal
scientific article; zbMATH DE number 1635074
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\exists\)-Universal termination of logic programs |
scientific article; zbMATH DE number 1635074 |
Statements
\(\exists\)-Universal termination of logic programs (English)
0 references
20 August 2001
0 references
logic programs
0 references
universal termination
0 references
fair selection rules
0 references
fair-bounded programs
0 references
0 references
