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