Volker Diekert
- The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete
2001/03/26 by Volker Diekert, Diekert, Volker, Claudio Gutierrez +3 · 2 citations
Computer Science · #Data Structures and Algorithms (cs.DS) #F.2.2 #F.4 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.DS #cs.LO
- Efficient algorithms for highly compressed data: The Word Problem in\n Higman's group is in P
2011/03/07 by Volker Diekert, Jürn Laun, Diekert, Volker +3 · 1 citation
Computer Science · Mathematics · #20-04 #Algorithms and Data Compression #Cryptography and Residue Arithmetic #FOS: Mathematics #Geometric and Algebraic Topology #Group Theory (math.GR) #semigroups and automata theory
- Conjugacy in Baumslag's group, generic case complexity, and division in\n power circuits
2013/09/20 by Volker Diekert, Alexei Miasnikov, Diekert, Volker +3 · 1 citation
Computer Science · Engineering · Mathematics · #Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #F.2.1 #FOS: Computer and information sciences #FOS: Mathematics #Finite Group Theory Research #G.2.1 #Geometric and Algebraic Topology #Group Theory (math.GR) #graph theory and CDMA systems #semigroups and automata theory
- Finding All Solutions of Equations in Free Groups and Monoids with\n Involution
2014/05/20 by Volker Diekert, Diekert, Volker, Artur Jeż +3 · 1 citation
Computer Science · Mathematics · #Discrete Mathematics (cs.DM) #F.2 #F.2.2 #F.4 #FOS: Computer and information sciences #FOS: Mathematics #Geometric and Algebraic Topology #Group Theory (math.GR) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems