Back to Search Start Over

A Note on the Existential Theory of Equations in Plain Groups.

Authors :
Diekert, Volker
Lohrey, Markus
Meakin, J.
Source :
International Journal of Algebra & Computation. Feb/Apr2002, Vol. 12 Issue 1/2, p1. 7p.
Publication Year :
2002

Abstract

Based on a PSPACE-completeness result for free monoids with involution [4] it is shown that the existential theory of equations with rational constraints in plain groups is PSPACE-complete. As a corollary this settles a question from [16]. [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
*GROUP theory
*MONOIDS

Details

Language :
English
ISSN :
02181967
Volume :
12
Issue :
1/2
Database :
Academic Search Index
Journal :
International Journal of Algebra & Computation
Publication Type :
Academic Journal
Accession number :
7227295
Full Text :
https://doi.org/10.1142/S0218196702000870
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details