Publications of H. Cirstea

1. H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. Rewrite strategies in the Rewriting Calculus. WRS, International Workshop on Reduction Strategies in Rewriting and Programming. Electr. Notes Theor. Comput. Sci., 86(4), 2003. [POSTSCRIPT ] [bibtex-entry]


2. H. Cirstea, C. Kirchner, and L. Liquori. Rewriting Calculus with(out) Types. WRLA, International Workshop on Rewriting Logic and its Applications. Electr. Notes Theor. Comput. Sci., 71, 2002. [POSTSCRIPT ] [bibtex-entry]

1. H. Cirstea, K. Claude, L. Liquori, and B. Wack. Polymorphic Type Inference for the Rewriting Calculus. In JFLA: Journées Francophones des Langages Applicatifs, pages 57--69, 2006. INRIA. [bibtex-entry]


2. G. Barthe, H. Cirstea, C. Kirchner, and L. Liquori. Pure Patterns Type Systems. In POPL, Symposium on Principles of Programming Languages, pages 250--261, 2003. ACM. [POSTSCRIPT ] [bibtex-entry]


3. H. Cirstea, L. Liquori, and B. Wack. Rewriting Calculus with Fixpoints: Untyped and First-order Systems. In TYPES, International Workshop on Types for Proof and Programs, volume 3085 of Lecture Notes in Computer Science, pages 147--161, 2003. Springer Verlag. [POSTSCRIPT ] [bibtex-entry]


4. H. Cirstea, C. Kirchner, and L. Liquori. Matching Power. In RTA, International Conference on Rewriting Techniques and Applications, volume 2051 of Lecture Notes in Computer Science, pages 77--92, 2001. [POSTSCRIPT ] [bibtex-entry]


5. H. Cirstea, C. Kirchner, and L. Liquori. The Rho Cube. In FoSSaCS, International Conference on Foundations of Software Science and Computation Structures, volume 2030 of Lecture Notes in Computer Science, pages 168--183, 2001. [POSTSCRIPT ] [bibtex-entry]

This document was translated from BibT_EX by bibtex2html