No label defined (Q3686043)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1983
0 references
Programs
0 references
computable functions
0 references
computability theory
0 references
Primitive recursive functions
0 references
Calculations on strings
0 references
Turing machines
0 references
Processes
0 references
grammars
0 references
Regular languages
0 references
Context-free languages
0 references
Context-sensitive languages
0 references
propositional calculus
0 references
Quantification theory
0 references
Loop programs
0 references
Abstract complexity
0 references
Polynomial-time computability
0 references
unsolvable problems
0 references
Degrees of unsolvability
0 references
Post's problem
0 references
