Publication:4070339
From MaRDI portal
zbMath0312.68049MaRDI QIDQ4070339
Publication date: 1975
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