On polynomial time computation over unordered structures (Q4779654)
From MaRDI portal
scientific article; zbMATH DE number 1836130
Language | Label | Description | Also known as |
---|---|---|---|
English | On polynomial time computation over unordered structures |
scientific article; zbMATH DE number 1836130 |
Statements
On polynomial time computation over unordered structures (English)
0 references
6 October 2003
0 references
descriptive complexity theory
0 references
complexity classes
0 references
polynomial time
0 references
fixpoint logic
0 references
counting
0 references
matching
0 references
bipartite graph
0 references