Searching for "Satisfiability of equations in free groups is in PSPACE." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Satisfiability of Equations in Free Groups is in PSPACE
by Claudio Gutiérrez, Claudio Guti Errez — 2000
…Satisfiability of Equations in Free Groups is in PSPACE Claudio Guti errez Computer Science…
Cited by 8 (1 self) – Add To MetaCart

Equations in Free Semigroups with Anti-involution and their Relation to Equations in Free Groups
by Claudio Gutiérrez — 2000
… conjectures: 1. Satisfiability of equations in free groups is PSPACE-hard. 2. Satisfiability of equations…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB