Publication:4070339

zbMath0312.68049MaRDI QIDQ4070339

H. Beck

Publication date: 1975

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03B25: Decidability of theories and sets of sentences

03D20: Recursive functions and relations, subrecursive hierarchies

68N01: General topics in the theory of software

68W99: Algorithms in computer science

Related Items

Unnamed Item