| Publication | Date of Publication | Type |
|---|
Proving equational and inductive theorems by completion and embedding techniques
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Distributing equational theorem proving
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Higher order conditional rewriting and narrowing
Constraints in Computational Logics | 2022-08-16 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
| scientific article; zbMATH DE number 2086860 (Why is no real title available?) | 2004-08-11 | Paper |
On using ground joinable equations in equational theorem proving
Journal of Symbolic Computation | 2003-08-25 | Paper |
| scientific article; zbMATH DE number 1765706 (Why is no real title available?) | 2002-07-10 | Paper |
General algorithms for permutations in equational inference
Journal of Automated Reasoning | 2002-05-21 | Paper |
| scientific article; zbMATH DE number 1414324 (Why is no real title available?) | 2000-03-16 | Paper |
A framework for operational equational specifications with pre-defined structures
Journal of Symbolic Computation | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1302503 (Why is no real title available?) | 1999-08-31 | Paper |
| scientific article; zbMATH DE number 1008505 (Why is no real title available?) | 1997-08-07 | Paper |
| scientific article; zbMATH DE number 752977 (Why is no real title available?) | 1995-05-09 | Paper |
| scientific article; zbMATH DE number 671941 (Why is no real title available?) | 1994-10-26 | Paper |
| scientific article; zbMATH DE number 4155899 (Why is no real title available?) | 1990-01-01 | Paper |
| Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3983496 (Why is no real title available?) | 1986-01-01 | Paper |
On the descriptive power of term rewriting systems
Journal of Symbolic Computation | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3949749 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3861446 (Why is no real title available?) | 1984-01-01 | Paper |
The Nielsen reduction and P-complete problems in free groups
Theoretical Computer Science | 1984-01-01 | Paper |
On the complexity of intersection and conjugacy problems in free groups
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3874607 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3731337 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3777739 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3716780 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3811849 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3670452 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3643248 (Why is no real title available?) | 1979-01-01 | Paper |
Subrekursive Komplexität bei Gruppen. II: Der Einbettungssatz von Higman für entscheidbare Gruppen
Acta Informatica | 1978-01-01 | Paper |
Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität
Archiv für Mathematische Logik und Grundlagenforschung | 1978-01-01 | Paper |
Subrekursive Komplexität bei Gruppen. I: Gruppen mit vorgeschriebener Komplexität
Acta Informatica | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3559555 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3565223 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3490965 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3343495 (Why is no real title available?) | 1971-01-01 | Paper |
Ein Verfahren zur Einschließung der Lösung des Anfangswertproblems. (A method for inclusion of the solution of the initial value problem.)
Computing | 1971-01-01 | Paper |
