scientific article; zbMATH DE number 3827208

MaRDI QIDQ3673111zbMATH OpenFDO

Authors Lothar Budach, Stephan Waack

Publication date 1982

zbMATH Keywords

cyclic groupsemptiness problemenvironmentshalting problempebblesundecidability

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Complexity of computation (including implicit computational complexity) (03D15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Formal languages and automata (68Q45)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3673111)