Bertram Felgenhauer

From MaRDI portal
Person:515685

Available identifiers

zbMath Open felgenhauer.bertramMaRDI QIDQ515685

List of research outcomes





PublicationDate of PublicationType
Certifying proofs in the first-order theory of rewriting2021-10-18Paper
Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.2020-05-27Paper
Layer systems for confluence -- formalized2018-11-23Paper
https://portal.mardi4nfdi.de/entity/Q45532852018-11-02Paper
Constructing cycles in the simplex method for DPLL(T)2017-11-03Paper
CSI: new evidence -- a progress report2017-09-22Paper
https://portal.mardi4nfdi.de/entity/Q52778832017-07-12Paper
https://portal.mardi4nfdi.de/entity/Q29851262017-05-16Paper
Reachability, confluence, and termination analysis with state-compatible automata2017-03-16Paper
https://portal.mardi4nfdi.de/entity/Q29583832017-02-01Paper
Layer Systems for Proving Confluence2015-09-17Paper
Labelings for decreasing diagrams2015-07-02Paper
Reachability Analysis with State-Compatible Automata2014-03-31Paper
Layer systems for proving confluence2012-08-31Paper
Labelings for Decreasing Diagrams.2012-04-24Paper
CSI – A Confluence Tool2011-07-29Paper

Research outcomes over time

This page was built for person: Bertram Felgenhauer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:515685&oldid=6753701"
Powered by MediaWiki