Daria Walukiewicz-Chrząszcz

Available identifiers

zbMath Open walukiewicz-chrzaszcz.dariaMaRDI QIDQ3535613

List of research outcomes

Publication	Date of Publication	Type
Synthesis of functional programs with help of first-order intuitionistic logic	2017-10-17	Paper
How hard is positive quantification?	2017-07-13	Paper
Restricted positive quantification is not elementary	2017-07-12	Paper
Inductive consequences in the calculus of constructions	2010-09-14	Paper
Consistency and Completeness of Rewriting in the Calculus of Constructions	2009-03-12	Paper
Towards Rewriting in Coq	2009-03-06	Paper
Consistency and Completeness of Rewriting in the Calculus of Constructions	2008-11-13	Paper
Termination of rewriting in the Calculus of Constructions	2004-03-17	Paper

Research outcomes over time

This page was built for person: Daria Walukiewicz-Chrząszcz