| |
| 2002 | ||
|---|---|---|
| 5 | Robert Cremanns, Friedrich Otto: A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles. J. Autom. Reasoning 28(3): 235-256 (2002) | |
| 1997 | ||
| 4 | EE | Robert Cremanns: Prefix-Rewriting on Context-Free Groups. Appl. Algebra Eng. Commun. Comput. 8(4): 315-344 (1997) |
| 1996 | ||
| 3 | Robert Cremanns, Friedrich Otto: For Groups the Property of Having Finite Derivation Type is Equivalent to the Homological Finiteness Condition FP_3. J. Symb. Comput. 22(2): 155-177 (1996) | |
| 1994 | ||
| 2 | EE | Robert Cremanns, Friedrich Otto: Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time (extended abstract). ISSAC 1994: 147-153 |
| 1 | Robert Cremanns, Friedrich Otto: Finite Derivation Type Implies the Homological Finiteness Condition FP_3. J. Symb. Comput. 18(2): 91-112 (1994) | |
| 1 | Friedrich Otto | [1] [2] [3] [5] |