Transformations of logic programs (Q6483351)
From MaRDI portal
scientific article; zbMATH DE number 3930327
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transformations of logic programs |
scientific article; zbMATH DE number 3930327 |
Statements
Transformations of logic programs (English)
0 references
1 January 1 CEGregorian
0 references
program complexity
0 references
normal form of programs
0 references
alternation
0 references
logic program
0 references
transformations
0 references
measures of complexity
0 references
computation trees
0 references
