Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (Q5398308)
From MaRDI portal
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
