Daria Walukiewicz-Chrzaszcz

	2009
6		Aleksy Schubert, Daria Walukiewicz-Chrzaszcz: The Non-Interference Protection in BML. Electr. Notes Theor. Comput. Sci. 253(5): 113-127 (2009)
	2008
5		Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions CoRR abs/0806.1749: (2008)
4		Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions. Logical Methods in Computer Science 4(3): (2008)
	2007
3		Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz: Towards Rewriting in Coq. Rewriting, Computation and Proof 2007: 113-131
	2006
2		Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions. IJCAR 2006: 619-631
	2003
1		Daria Walukiewicz-Chrzaszcz: Termination of rewriting in the Calculus of Constructions. J. Funct. Program. 13(2): 339-414 (2003)

Coauthor Index

1	Jacek Chrzaszcz	[2] [3] [4] [5]
2	Aleksy Schubert	[6]