Bertram Felgenhauer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
Deciding confluence and normal form properties of ground term rewrite systems efficiently (available as arXiv preprint)	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
scientific article; zbMATH DE number 6744203 (Why is no real title available?)	2017-07-12	Paper
Certifying confluence proofs via relative termination and rule labeling (available as arXiv preprint)	2017-05-16	Paper
Reachability, confluence, and termination analysis with state-compatible automata Information and Computation	2017-03-16	Paper
Proof orders for decreasing diagrams	2017-02-01	Paper
Layer systems for proving confluence ACM Transactions on Computational Logic	2015-09-17	Paper
Labelings for decreasing diagrams Journal of Automated Reasoning	2015-07-02	Paper
Reachability Analysis with State-Compatible Automata Language and Automata Theory and Applications	2014-03-31	Paper
Layer systems for proving confluence	2012-08-31	Paper
Labelings for Decreasing Diagrams.	2012-04-24	Paper
Labelings for Decreasing Diagrams. (available as arXiv preprint)	2012-04-24	Paper
CSI -- a confluence tool Lecture Notes in Computer Science	2011-07-29	Paper

Research outcomes over time

This page was built for person: Bertram Felgenhauer