How Hard Is Positive Quantification?

Aleksy Schubert, Paweł Urzyczyn and Daria Walukiewicz-Chrząszcz
accepted for publication in ACM Transactions on Computational Logic

Restricted positive quantification is not elementary

Aleksy Schubert, Paweł Urzyczyn and Daria Walukiewicz-Chrząszcz
In 20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France, pages 251-273, 2015.
(http)

Inductive Consequences in the Calculus of Construction

Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz
Proceedings of ITP 2010, edited by M. Kaufmann and L. Paulson,
LNCS 6172, Springer 2010, pp.450-465,
extended version (pdf)

The Non-Interference Protection in a Bytecode Program Logic

Aleksy Schubert and Daria Walukiewicz-Chrząszcz
Proceedings of BYTECODE 2009, edited by E. Albert and S. Genaim, ENTCS 253, Issue 5, pp. 113-127,
(pdf)

Consistency and completeness of rewriting in the Calculus of Constructions

Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz
Logical Methods in Computer Science, 4(3:8)2008. Special Issue: IJCAR 2006 selected papers
(LMCS online version)

Inductive Consequences in the Calculus of Constructions

Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz
manuscript, 2007
(pdf)

Towards Rewriting in Coq

Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz
in Jouannaud Festschrift, Hubert Comon-Lundth, Claude Kirchner, and Hélène Kirchner, editors, LNCS 4600, Spriger, 2007, pp. 113-131
(pdf)

Consistency and Completeness of Rewriting in the Calculus of Constructions

Jacek Chrząszcz and Daria Walukiewicz-Chrząszcz
in Proceedings of IJCAR 2006, LNAI 4130, Springer 2006, pp. 619-631
extended version (ps.gz)

Termination of Rewriting in the Calculus of Constructions

Daria Walukiewicz-Chrząszcz
Phd thesis defended in April 2003
(ps), (bibtex)

Termination of Rewriting in the Calculus of Constructions

Daria Walukiewicz-Chrząszcz
Journal of Functional Programming, 13(2), 2003, pp. 339-414
(ps)

A total AC-compatible Reduction Ordering on Higher-Order Terms

Daria Walukiewicz
in ICALP'98 Proceedings, LNCS 1443, Kim G. Larsen, Sven Skyum, Glynn Winskel editors, Springer-Verlag Berlin Heidelberg 1998, pp. 530-542
(ps), (bibtex), (abstract)