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

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: Daria Walukiewicz-Chrząszcz