An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Avenhaus, Jürgen (VerfasserIn), Madlener, Klaus (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Kaiserslautern 1979
Schriftenreihe:Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern 16
Umfang:17 S.