scientific article; zbMATH DE number 1512705

zbMath0982.20041MaRDI QIDQ4508394

Claudio Gutierrez

Publication date: 2 April 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

free semigroupssatisfiability problemfree groupssolvability of equationssemigroups with anti-involutions

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Free semigroups, generators and relations, word problems (20M05) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Related Items

The existential theory of equations with rational constraints in free groups is PSPACE-complete