Person:174769

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
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jürgen Avenhaus