Publication:4447251
From MaRDI portal
zbMath1038.68152MaRDI QIDQ4447251
Publication date: 16 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060452.htm
Symbolic computation and algebraic computation (68W30) Grammars and rewriting systems (68Q42) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Related Items
String rewriting for double coset systems., Computing subgroup presentations, using the coherence arguments of McCammond and Wise.