| ||
| 1. | Inductive Consequences in the Calculus of Constructions
LECTURE NOTES IN COMPUTER SCIENCE Tom 6172 r. 2010, str. 450-465 (Artykuł) Daria Walukiewicz-Chrz±szcz, Jacek Chrz±szcz | |
| 2. | The Non-Interference Protection in BML
Electronic Notes in Theoretical Computer Science Tom 253 Nr 5 r. 2009, str. 113-127 (Artykuł) Aleksy Schubert, Daria Walukiewicz-Chrz±szcz | |
| 3. | Consistency and Completeness of Rewriting in the Calculus of Constructions
COMPUTING RESEARCH REPOSITORY Tom abs/0806.1749 r. 2008, str. (Artykuł) Daria Walukiewicz-Chrz±szcz, Jacek Chrz±szcz | |
| 4. | Consistency and completeness of rewriting in the Calculus of Constructions
LOGICAL METHODS IN COMPUTER SCIENCE Tom 4 Nr 3:8 r. 2008, str. 1-20 (Artykuł) Daria Walukiewicz-Chrz±szcz, Jacek Chrz±szcz | |
| 5. | Towards rewriting in Coq
LECTURE NOTES IN COMPUTER SCIENCE Tom 4600 r. 2007, str. 113-131 (Artykuł) Jacek Chrz±szcz, Daria Walukiewicz-Chrz±szcz | |
| 6. | Consistency and completeness of rewriting in the Calculus of Constructions
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 4130 r. 2006, str. 619-631 (Artykuł konferencyjny) Jacek Chrz±szcz, Daria Walukiewicz-Chrz±szcz | |
| 7. | Termination of rewriting in the Calculus of Constructions
JOURNAL OF FUNCTIONAL PROGRAMMING Tom 13 Nr 2 r. 2003, str. 339-414 (Artykuł) Daria Walukiewicz-Chrz±szcz | |
| ||
| 8. | Termination of Rewriting in the Calculus of Constructions
w: Proceedings of the Workshop on Logical Frameworks and Meta-languages (Part of the LICS`2000), str. 63-81, IEEE, r. 2000 (Artykuł konferencyjny) Daria Walukiewicz-Chrz±szcz | |