Bertram Felgenhauer

Available identifiers

zbMath Open felgenhauer.bertramMaRDI QIDQ515685

List of research outcomes

Publication	Date of Publication	Type
Certifying proofs in the first-order theory of rewriting	2021-10-18	Paper
Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.	2020-05-27	Paper
Layer systems for confluence -- formalized	2018-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4553285	2018-11-02	Paper
Constructing cycles in the simplex method for DPLL(T)	2017-11-03	Paper
CSI: new evidence -- a progress report	2017-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q5277883	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2985126	2017-05-16	Paper
Reachability, confluence, and termination analysis with state-compatible automata	2017-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q2958383	2017-02-01	Paper
Layer Systems for Proving Confluence	2015-09-17	Paper
Labelings for decreasing diagrams	2015-07-02	Paper
Reachability Analysis with State-Compatible Automata	2014-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q2911632	2012-08-31	Paper
Labelings for Decreasing Diagrams.	2012-04-24	Paper
CSI – A Confluence Tool	2011-07-29	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: Bertram Felgenhauer