Daria Walukiewicz-Chrzaszcz

According to our database, Daria Walukiewicz-Chrzaszcz authored at least 8 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

How Hard Is Positive Quantification?

Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz

ACM Trans. Comput. Log., 2016

Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic.

Marcin Benke, Aleksy Schubert, Daria Walukiewicz-Chrzaszcz

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2014

Restricted Positive Quantification Is Not Elementary.

Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014

2010

Inductive Consequences in the Calculus of Constructions.

Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009

The Non-Interference Protection in BML.

Aleksy Schubert, Daria Walukiewicz-Chrzaszcz

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

2008

Consistency and Completeness of Rewriting in the Calculus of Constructions.

Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz

Log. Methods Comput. Sci., 2008

2007

Towards Rewriting in Coq.

Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz

Proceedings of the Rewriting, 2007

2003

Termination of rewriting in the Calculus of Constructions.

Daria Walukiewicz-Chrzaszcz

J. Funct. Program., 2003