The rewriting calculus as a semantics of ELAN

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1538, Issue , 1998, Pages 84-85

  Cirstea, Horatiu ^a   Kirchner, Claude ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84879205751     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49366-2_7     Document Type: Conference Paper

References (4)

1. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, and Christophe Ringeissen. An overview of ELAN. In Claude Kirchner and Hélène Kirchner, editors, Proceedings of the second International Workshop on Rewriting Logic and Applications, volume 15, http://www.elsevier.nl/locate/entcs/volume16.html, Pont-à-Mousson (France), September 1998. Electronic Notes in Theoretical Computer Science.
2. Horatiu Cirstea and Claude Kirchner. ρ-calculus. Its syntax and basic properties. Research report 98-R-218, LORIA, August 1998.
3. P.E. Moreau and H. Kirchner. A compiler for rewrite programs in associative-commutative theories. In C. Palamidessi, H. Glaser, and K. Meinke, editors, Principles of Declarative Programming, number 1490 in Lecture Notes in Computer Science, pages 230-249. Springer-Verlag, September 1998.
4. Marian Vittek. A compiler for nondeterministic term rewriting systems. In Harald Ganzinger, editor, Proceedings of RTA'96, volume 1103 of Lecture Notes in Computer Science, pages 154-168, New Brunswick (New Jersey), July 1996. Springer-Verlag.