Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (Q5398308): Difference between revisions
From MaRDI portal
Latest revision as of 10:25, 7 July 2024
scientific article; zbMATH DE number 6262137
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments |
scientific article; zbMATH DE number 6262137 |
Statements
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (English)
0 references
27 February 2014
0 references
logic programming with function symbols
0 references
bottom-up evaluation
0 references
program evaluation termination
0 references
stable models
0 references
