Reinhard Bündgen

Available identifiers

zbMath Open bundgen.reinhardMaRDI QIDQ1350493

List of research outcomes

Publication	Date of Publication	Type
Computing ground reducibility and inductively complete positions	2022-12-09	Paper
Simulating Buchberger's algorithm by Knuth-Bendix completion	2022-12-09	Paper
Applying term rewriting methods to finite groups	2022-08-16	Paper
On pot, pans and pudding or how to discover generalised critical Pairs	2020-01-21	Paper
Buchberger's algorithm: The term rewriter's point of view	2019-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4234323	2001-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4524775	2001-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q2702606	2001-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4237373	1999-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4225055	1999-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4225057	1999-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4376886	1998-02-12	Paper
Buchberger's algorithm: The term rewriter's point of view	1997-02-27	Paper
Strategy compliant multi-threaded term completion	1997-01-22	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: Reinhard Bündgen