| 03D03 |
- |
Thue and Post systems, etc. |
- |
3 |
items |
| 03D05 |
- |
Automata and formal grammars in connection with logical questions |
- |
16 |
items |
| 03D10 |
- |
Turing machines and related notions |
- |
7 |
items |
| 03D15 |
- |
Complexity of computation |
- |
4 |
items |
| 03D20 |
- |
Recursive functions and relations, subrecursive hierarchies |
- |
10 |
items |
| 03D25 |
- |
Recursively (computably) enumerable sets and degrees |
- |
4 |
items |
| 03D40 |
- |
Word problems, etc. |
- |
4 |
items |
| 03D55 |
- |
Hierarchies |
- |
1 |
item |
| 03D75 |
- |
Abstract and axiomatic computability and recursion theory |
- |
2 |
items |
| 03D80 |
- |
Applications of computability and recursion theory |
- |
8 |
items |
| 03D99 |
- |
Miscellaneous |
- |
1 |
item |
|
|
[
up
|
top
]
|
