Publication:4517198
From MaRDI portal
zbMath0956.20026MaRDI QIDQ4517198
Publication date: 21 November 2000
68Q25: Analysis of algorithms and problem complexity
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)