Robert Cremanns

According to our database, Robert Cremanns authored at least 6 papers between 1994 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles.

Robert Cremanns, Friedrich Otto

J. Autom. Reason., 2002

1997

Prefix-Rewriting on Context-Free Groups.

Robert Cremanns

Appl. Algebra Eng. Commun. Comput., 1997

1996

For Groups the Property of Having Finite Derivation Type is Equivalent to the Homological Finiteness Condition FP_3.

Robert Cremanns, Friedrich Otto

J. Symb. Comput., 1996

1995

Finiteness conditions for rewriting systems.

Robert Cremanns

PhD thesis, 1995

1994

Finite Derivation Type Implies the Homological Finiteness Condition FP_3.

Robert Cremanns, Friedrich Otto

J. Symb. Comput., 1994

Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time (extended abstract).

Robert Cremanns, Friedrich Otto

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994