TY - CONF A1 - Meer, Klaus A1 - Ziegler, Martin A2 - Kučera, Luděk T1 - Real Computational Universality: The word problem for a class of groups with infinite presentation T2 - Mathematical foundations of computer science 2007, 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007, proceedings Y1 - 2009 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/4147 SN - 978-3-540-74455-9 SP - 726 EP - 737 PB - Springer CY - Berlin [u.a.] ER -