Harald Zankl

Available identifiers

zbMath Open zankl.haraldMaRDI QIDQ352958

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4993364	2021-06-15	Paper
Certified Rule Labeling	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2985126	2017-05-16	Paper
Beyond Peano Arithmetic – Automatically Proving Termination of the Goodstein Sequence	2017-02-01	Paper
Confluence by Decreasing Diagrams – Formalized	2017-02-01	Paper
Confluence Competition 2015	2015-12-02	Paper
Layer Systems for Proving Confluence	2015-09-17	Paper
Labelings for decreasing diagrams	2015-07-02	Paper
Transforming SAT into Termination of Rewriting	2015-04-09	Paper
Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations	2015-01-14	Paper
Modular Complexity Analysis for Term Rewriting	2014-04-09	Paper
Uncurrying for termination and complexity	2013-07-05	Paper
KBCV – Knuth-Bendix Completion Visualizer	2012-09-05	Paper
Layer systems for proving confluence	2012-08-31	Paper
Ordinals and Knuth-Bendix Orders	2012-06-15	Paper
Modular Complexity Analysis via Relative Complexity	2012-04-25	Paper
Labelings for Decreasing Diagrams.	2012-04-24	Paper
CSI – A Confluence Tool	2011-07-29	Paper
Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems	2011-07-08	Paper
Satisfiability of Non-linear (Ir)rational Arithmetic	2011-01-07	Paper
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting	2010-10-12	Paper
Monotonicity Criteria for Polynomial Interpretations over the Naturals	2010-09-14	Paper
KBO orientability	2010-02-01	Paper
Finding and Certifying Loops	2010-01-28	Paper
Increasing interpretations	2009-12-11	Paper
SAT Solving for Termination Analysis with Polynomial Interpretations	2009-03-10	Paper
Uncurrying for Termination	2009-01-27	Paper
Increasing Interpretations	2009-01-27	Paper
Maximal Termination	2008-08-28	Paper
Constraints for Argument Filterings	2008-03-07	Paper
Satisfying KBO Constraints	2008-01-02	Paper

Research outcomes over time

This page was built for person: Harald Zankl