Publication:4132506
From MaRDI portal
zbMath0359.02034MaRDI QIDQ4132506
No author found.
Publication date: 1976
03D05: Automata and formal grammars in connection with logical questions
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
Related Items
Using algebraic models of programs for detecting metamorphic malwares, Logical aspects of Cayley-graphs: the group case, Groups, the theory of ends, and context-free languages, Program equivalence checking by two-tape automata