|
MASCOTTE no longer exists => visit the new project-team
Publications of C. Kirchner
BACK TO MASCOTTE PUBLICATION INDEX
Publications of C. Kirchner
-
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]
-
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]
-
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]
-
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]
-
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
|
