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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander Krauss