BACK TO MASCOTTE PUBLICATION INDEX

Publications of C. Kirchner

Articles in journal or book chapters
  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]

Conference articles
  1. 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]

  2. 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]

  3. 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]


BACK TO MASCOTTE PUBLICATION INDEX




Last modified: Thu Oct 10 14:10:02 2013


This document was translated from BibTEX by bibtex2html