Hierarchies in classes of program schemes (Q4943505)
From MaRDI portal
scientific article; zbMATH DE number 1416456
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hierarchies in classes of program schemes |
scientific article; zbMATH DE number 1416456 |
Statements
Hierarchies in classes of program schemes (English)
0 references
16 March 2000
0 references
descriptive complexity theory
0 references
transitive closure logic
0 references
