Two results on complexities of decision problems of groups

We answer two questions on the complexities of decision problems of groups, each related to a classical result. First, C. Miller characterized the complexity of the isomorphism problem for finitely presented groups in 1971. We do the same for the isomorphism problem for recursively presented groups....

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Andrews, Uri, Harrison-Trainor, Matthew, Ho, Meng-Che "Turbo"
Format:	Artikel
Sprache:	eng
Schlagworte:	Mathematics - Group Theory Mathematics - Logic
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!