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