Daria Walukiewicz-Chrzaszcz

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 2

Top Topics

Functional Programs

Positive And Negative

Proof Theoretic

Top Venues

ACM Trans. Comput. Log.

Publications

Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz
How Hard Is Positive Quantification? ACM Trans. Comput. Log. 17 (4) (2016)
Marcin Benke, Aleksy Schubert, Daria Walukiewicz-Chrzaszcz
Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic. FSCD (2016)
Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz
Restricted Positive Quantification Is Not Elementary. TYPES (2014)
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
Inductive Consequences in the Calculus of Constructions. ITP (2010)
Aleksy Schubert, Daria Walukiewicz-Chrzaszcz
The Non-Interference Protection in BML. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
Consistency and Completeness of Rewriting in the Calculus of Constructions CoRR (2008)
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
Consistency and Completeness of Rewriting in the Calculus of Constructions. Log. Methods Comput. Sci. 4 (3) (2008)
Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz
Towards Rewriting in Coq. Rewriting, Computation and Proof (2007)
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
Consistency and Completeness of Rewriting in the Calculus of Constructions. IJCAR (2006)
Daria Walukiewicz-Chrzaszcz
Termination of rewriting in the Calculus of Constructions. J. Funct. Program. 13 (2) (2003)