Alexander Krauss

Available identifiers

zbMath Open krauss.alexanderMaRDI QIDQ438557

List of research outcomes

Publication	Date of Publication	Type
Partiality and recursion in interactive theorem provers – an overview	2016-07-28	Paper
Pattern minimization problems over recursive data types	2015-03-16	Paper
Scalable LCF-Style Proof Translation	2013-08-07	Paper
Data Refinement in Isabelle/HOL	2013-08-07	Paper
Proof Pearl: regular expression equivalence and relation algebra	2013-08-01	Paper
Monotonicity inference for higher-order formulas	2012-07-31	Paper
Termination of Isabelle Functions via Termination of Rewriting	2011-08-17	Paper
A Mechanized Translation from Higher-Order Logic to Set Theory	2010-09-14	Paper
Monotonicity Inference for Higher-Order Formulas	2010-09-14	Paper
Partial and nested recursive function definitions in higher-order logic	2010-05-26	Paper
Partial Recursive Functions in Higher-Order Logic	2009-03-12	Paper
Certified Size-Change Termination	2009-03-06	Paper
Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL	2008-09-02	Paper

Research outcomes over time

This page was built for person: Alexander Krauss