Eine rekursiv präsentierte Gruppe mit unentscheidbarem Wortproblem

DOI10.1007/BF01187239zbMath0248.02046OpenAlexW2092350162MaRDI QIDQ2556399

Walter Baur

Publication date: 1973

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/171891

Mathematics Subject Classification ID

Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40)

Cites Work

• Unnamed Item
• On algebraically closed groups

This page was built for publication: Eine rekursiv präsentierte Gruppe mit unentscheidbarem Wortproblem