Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (Q4635643)
From MaRDI portal
scientific article; zbMATH DE number 6863116
Language | Label | Description | Also known as |
---|---|---|---|
English | Turing machines with atoms, constraint satisfaction problems, and descriptive complexity |
scientific article; zbMATH DE number 6863116 |
Statements
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (English)
0 references
23 April 2018
0 references
Turing machines
0 references
constraint satisfaction problems
0 references
descriptive complexity theory
0 references
sets with atoms
0 references