Jürgen Avenhaus

Available identifiers

zbMath Open avenhaus.jurgenDBLPa/JurgenAvenhausWikidataQ102231587 ScholiaQ102231587MaRDI QIDQ174769

List of research outcomes

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
Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3748486	1986-01-01	Paper
On the descriptive power of term rewriting systems	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3719861	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3329652	1984-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/Q3340146	1982-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/Q3907068	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
https://portal.mardi4nfdi.de/entity/Q5619608	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.)	1971-01-01	Paper

Research outcomes over time

This page was built for person: Jürgen Avenhaus