03 Mathematical logic and foundations
03Dxx Computability and recursion theory

03D05 Automata and formal grammars in connection with logical questions (10 articles)

Partner of
EuDML logo