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
Certifying confluence proofs via relative termination and rule labeling	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