A general framework for automatic termination analysis od logic programs (Q5941755)
From MaRDI portal
scientific article; zbMATH DE number 1637072
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A general framework for automatic termination analysis od logic programs |
scientific article; zbMATH DE number 1637072 |
Statements
A general framework for automatic termination analysis od logic programs (English)
0 references
26 August 2001
0 references
automatic termination analysis of logic programs
0 references
TermiLog system
0 references
