Author:
Cirstea Horatiu,Kirchner Claude
Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. BKK+98._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. Lect Notes Comput Sci;P.E. Moreau,1998
4. Lect Notes Comput Sci;M. Vittek,1996
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Continuation Models for the Lambda Calculus With Constructors;Electronic Notes in Theoretical Computer Science;2012-09
2. Program Transformation Using HATS 1.84;Generative and Transformational Techniques in Software Engineering;2006
3. The Rewriting Calculus as a Combinatory Reduction System;Foundations of Software Science and Computational Structures