Logic + control: An example (Q5398068)
From MaRDI portal
scientific article; zbMATH DE number 6261549
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic + control: An example |
scientific article; zbMATH DE number 6261549 |
Statements
25 February 2014
0 references
program correctness
0 references
program completeness
0 references
specification
0 references
declarative programming
0 references
declarative diagnosis
0 references
Logic + control: An example (English)
0 references
