Ondřej Kunčar

From MaRDI portal
Person:1687532

Available identifiers

zbMath Open kuncar.ondrejMaRDI QIDQ1687532

List of research outcomes





PublicationDate of PublicationType
A consistent foundation for Isabelle/HOL2019-04-29Paper
From types to sets by local type definition in higher-order logic2019-02-18Paper
Foundational (co)datatypes and (co)recursion for higher-order logic2018-01-04Paper
Comprehending Isabelle/HOL’s Consistency2017-05-19Paper
From Types to Sets by Local Type Definitions in Higher-Order Logic2016-10-27Paper
A Consistent Foundation for Isabelle/HOL2015-09-14Paper
Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL2015-01-13Paper
Data Refinement in Isabelle/HOL2013-08-07Paper
Proving Valid Quantified Boolean Formulas in HOL Light2011-08-17Paper

Research outcomes over time

This page was built for person: Ondřej Kunčar

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1687532&oldid=6332303"
Powered by MediaWiki