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
68W30: Symbolic computation and algebraic computation
68Q42: Grammars and rewriting systems
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
Related Items
String rewriting for double coset systems., Computing subgroup presentations, using the coherence arguments of McCammond and Wise.