Publications of C. Kirchner
BACK TO COATI PUBLICATION INDEXPublications of C. Kirchner
| Articles in journal or book's chapters |
-
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]
| Conference's articles |
-
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.
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]
-
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]
BACK TO COATI PUBLICATION INDEX
Last modified: Sat Jan 29 19:00:45 2022