Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Daria Walukiewicz-Chrząszcz
2016
- Marcin Benke, Daria Monika Walukiewicz-Chrząszcz and Aleksy Andrzej Schubert, Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic, in: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Niemcy 2016, p. 12:1–12:16.see in PBN
- Aleksy Andrzej Schubert, Paweł Urzyczyn and Daria Monika Walukiewicz-Chrząszcz, How Hard Is Positive Quantification?, Acm Transactions On Computational Logic 17 (4) 2016, p. 30.see in PBN
2015
- Aleksy Andrzej Schubert, Paweł Urzyczyn and Daria Monika Walukiewicz-Chrząszcz, Restricted Positive Quantification Is Not Elementary, in: 20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Niemcy 2015, p. 251–273.see in PBN
2000
- Daria Walukiewicz-Chrząszcz, Termination of Rewriting in the Calculus of Constructions, in: Proceedings of the Workshop on Logical Frameworks and Meta-languages (Part of the LICS`2000), IEEE, Santa Barbara, California, 2000.see in PBN
You are not logged in | log in
