| Publication | Date of Publication | Type |
|---|
| Proving equational and inductive theorems by completion and embedding techniques | 2022-12-09 | Paper |
| Distributing equational theorem proving | 2022-12-09 | Paper |
| Higher order conditional rewriting and narrowing | 2022-08-16 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737457 | 2004-08-11 | Paper |
| On using ground joinable equations in equational theorem proving | 2003-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539648 | 2002-07-10 | Paper |
| General algorithms for permutations in equational inference | 2002-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942661 | 2000-03-16 | Paper |
| A framework for operational equational specifications with pre-defined structures | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249033 | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4336265 | 1997-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698534 | 1995-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4310310 | 1994-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3484358 | 1990-01-01 | Paper |
| On the descriptive power of term rewriting systems | 1986-01-01 | Paper |
| Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3748486 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719861 | 1985-01-01 | Paper |
| The Nielsen reduction and P-complete problems in free groups | 1984-01-01 | Paper |
| On the complexity of intersection and conjugacy problems in free groups | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329652 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340146 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907068 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919078 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3957134 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659975 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3867819 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3048820 | 1979-01-01 | Paper |
| Subrekursive Komplexität bei Gruppen. II: Der Einbettungssatz von Higman für entscheidbare Gruppen | 1978-01-01 | Paper |
| Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität | 1978-01-01 | Paper |
| Subrekursive Komplexität bei Gruppen. I: Gruppen mit vorgeschriebener Komplexität | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132516 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4137347 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4073366 | 1975-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.) | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5619608 | 1971-01-01 | Paper |
