dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Daria Walukiewicz-Chrzaszcz (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Inductive Consequences in the Calculus of Constructions. ITP 2010: 450-465
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions CoRR abs/0806.1749: (2008)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions. Logical Methods in Computer Science 4(3): (2008)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz: Towards Rewriting in Coq. Rewriting, Computation and Proof 2007: 113-131
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions. IJCAR 2006: 619-631

Selection of 5 from 7 records - Daria Walukiewicz-Chrzaszcz has 2 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page