| |
| 2007 | ||
|---|---|---|
| 6 | EE | Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz: Towards Rewriting in Coq. Rewriting, Computation and Proof 2007: 113-131 |
| 2006 | ||
| 5 | EE | Jacek Chrzaszcz, Jean-Pierre Jouannaud: From OBJ to ML to Coq. Essays Dedicated to Joseph A. Goguen 2006: 216-234 |
| 4 | EE | Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz: Consistency and Completeness of Rewriting in the Calculus of Constructions. IJCAR 2006: 619-631 |
| 2003 | ||
| 3 | EE | Jacek Chrzaszcz: Implementing Modules in the Coq System. TPHOLs 2003: 270-286 |
| 2 | EE | Jacek Chrzaszcz: Modules in Coq Are and Will Be Correct. TYPES 2003: 130-146 |
| 1998 | ||
| 1 | EE | Jacek Chrzaszcz: Polymorphic Subtyping Without Distributivity. MFCS 1998: 346-355 |
| 1 | Jean-Pierre Jouannaud | [5] |
| 2 | Daria Walukiewicz-Chrzaszcz | [4] [6] |