Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests

DOI10.5555/3470152.3470210MaRDI QIDQ6654523FDOQ6654523

Authors: Christoph Haase, Georg Zetzsche 

Publication date: 19 December 2024

Recommendations

• The submonoid and rational subset membership problems for graph groups.
• On the rational subset problem for groups.
• The rational subset membership problem for groups: a survey
• Existential and positive theories of equations in graph products
• scientific article; zbMATH DE number 2086411

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) First-order arithmetic and fragments (03F30) Complexity of computation (including implicit computational complexity) (03D15)

This page was built for publication: Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6654523)