Alexander Krauss

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
Partiality and recursion in interactive theorem provers -- an overview Mathematical Structures in Computer Science	2016-07-28	Paper
Pattern minimization problems over recursive data types Proceedings of the 13th ACM SIGPLAN international conference on Functional programming	2015-03-16	Paper
Scalable LCF-style proof translation Interactive Theorem Proving	2013-08-07	Paper
Data refinement in Isabelle/HOL Interactive Theorem Proving	2013-08-07	Paper
Proof Pearl: regular expression equivalence and relation algebra Journal of Automated Reasoning	2013-08-01	Paper
Monotonicity inference for higher-order formulas Journal of Automated Reasoning	2012-07-31	Paper
Termination of Isabelle functions via termination of rewriting Interactive Theorem Proving	2011-08-17	Paper
A mechanized translation from higher-order logic to set theory Interactive Theorem Proving	2010-09-14	Paper
Monotonicity inference for higher-order formulas Automated Reasoning	2010-09-14	Paper
Partial and nested recursive function definitions in higher-order logic Journal of Automated Reasoning	2010-05-26	Paper
Partial Recursive Functions in Higher-Order Logic Automated Reasoning	2009-03-12	Paper
Certified Size-Change Termination Automated Deduction – CADE-21	2009-03-06	Paper
Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL Lecture Notes in Computer Science	2008-09-02	Paper

Research outcomes over time

This page was built for person: Alexander Krauss