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

Daria Walukiewicz-Chrzaszcz Vis

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

*2008
5EEDaria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions CoRR abs/0806.1749: (2008)
4EEDaria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions. Logical Methods in Computer Science 4(3): (2008)
2007
3EEJacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz: Towards Rewriting in Coq. Rewriting, Computation and Proof 2007: 113-131
2006
2EEDaria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions. IJCAR 2006: 619-631
2003
1EEDaria Walukiewicz-Chrzaszcz: Termination of rewriting in the Calculus of Constructions. J. Funct. Program. 13(2): 339-414 (2003)

Coauthor Index

1Jacek Chrzaszcz [2] [3] [4] [5]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)