Matching Power (2001)

Cached

Download Links

by Horatiu Cirstea , Claude Kirchner , Luigi Liquori
Venue:Proceedings of RTA’2001, Lecture Notes in Computer Science, Utrecht (The Netherlands
Citations:30 - 20 self

Active Bibliography

22 Rewriting calculus with(out) types – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2002
9 The simply typed rewriting calculus – Horatiu Cirstea, Claude Kirchner - 2004
20 Combining Higher-Order and First-Order Computation Using ρ-calculus: Towards a Semantics of ELAN – Horatiu Cirstea, Claude Kirchner - 1999
1 Confluence of Pattern-Based Calculi – Horatiu Cirstea, Germain Faure, Université Nancy, Université Henri Poincaré
43 Pure Pattern Type Systems – Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2003
3 Translating Combinatory Reduction Systems into the Rewriting Calculus – Clara Bertolissi, Horatiu Cirstea, Claude Kirchner - 2003
Author manuscript, published in "Theoretical Computer Science (2002)" DOI: 10.1016/S0304-3975(00)00347-9 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 2013
14 Termination and confluence of higher-order rewrite systems – Frédéric Blanqui - 2000
43 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997
27 The Calculus of Algebraic Constructions – Frédéric Blanqui - 1999
26 Rewriting calculus with fixpoints: Untyped and first-order systems – Horatiu Cirstea, Luigi Liquori, Benjamin Wack, Nancy Ii, Nancy I - 2003
44 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 1997
Distributive ρ-calculus – Horatiu Cirstea , Clément Houtmann , Benjamin Wack - 2006
1 2 HIGHER-ORDER MATCHING MODULO (SUPER)DEVELOPMENTS APPLICATIONS TO SECOND-ORDER MATCHING 3 – Germain Faure - 2009
3 Addressed Term rewriting Systems: . . . – Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori - 2006
4 A framework for defining logical frameworks – Furio Honsell - 2006
3 From functional programs to interaction nets via the Rewriting Calculus – Horatiu Cirstea , Germain Faure , Maribel Fernández , Ian Mackie , François-Régis Sinot - 2006
2 The simply-typed pure pattern type system ensures strong normalization – Benjamin Wack - 2004
18 A rewriting calculus for cyclic higher-order term graphs – Paolo Baldan, Clara Bertolissi, Claude Kirchner - 2004