Login
This is a place holder for potential sponsor logos.
Browsing Subject Categories For 'msc'
03Dxx - Mathematical logic and foundations :: Computability and recursion theory
| 03D03 | - | Thue and Post systems, etc. | |||
| 03D05 | - | Automata and formal grammars in connection with logical questions | |||
| 03D10 | - | Turing machines and related notions | |||
| 03D15 | - | Complexity of computation | |||
| 03D20 | - | Recursive functions and relations, subrecursive hierarchies | |||
| 03D25 | - | Recursively (computably) enumerable sets and degrees | |||
| 03D28 | - | Other Turing degree structures | |||
| 03D30 | - | Other degrees and reducibilities | |||
| 03D35 | - | Undecidability and degrees of sets of sentences | |||
| 03D40 | - | Word problems, etc. | |||
| 03D45 | - | Theory of numerations, effectively presented structures | |||
| 03D50 | - | Recursive equivalence types of sets and structures, isols | |||
| 03D55 | - | Hierarchies | |||
| 03D60 | - | Computability and recursion theory on ordinals, admissible sets, etc. | |||
| 03D65 | - | Higher-type and set recursion theory | |||
| 03D70 | - | Inductive definability | |||
| 03D75 | - | Abstract and axiomatic computability and recursion theory | |||
| 03D80 | - | Applications of computability and recursion theory | |||
| 03D99 | - | Miscellaneous | |||
| [ up | top ] | |||||