| 2008 |
|---|
| 8 | EE | Germain Faure,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell:
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.
SAT 2008: 77-90 |
| 2007 |
|---|
| 7 | EE | Horatiu Cirstea,
Germain Faure:
Confluence of Pattern-Based Calculi.
RTA 2007: 78-92 |
| 6 | EE | Germain Faure:
Term Collections in lambda and rho-calculi.
Electr. Notes Theor. Comput. Sci. 171(3): 3-19 (2007) |
| 5 | EE | Horatiu Cirstea,
Germain Faure,
Maribel Fernández,
Ian Mackie,
François-Régis Sinot:
From Functional Programs to Interaction Nets via the Rewriting Calculus.
Electr. Notes Theor. Comput. Sci. 174(10): 39-56 (2007) |
| 4 | EE | Horatiu Cirstea,
Germain Faure,
Claude Kirchner:
A rho-calculus of explicit constraint application.
Higher-Order and Symbolic Computation 20(1-2): 37-72 (2007) |
| 2006 |
|---|
| 3 | EE | Germain Faure:
Matching Modulo Superdevelopments Application to Second-Order Matching.
LPAR 2006: 60-74 |
| 2005 |
|---|
| 2 | EE | Horatiu Cirstea,
Germain Faure,
Claude Kirchner:
A rho-Calculus of Explicit Constraint Application.
Electr. Notes Theor. Comput. Sci. 117: 51-67 (2005) |
| 2002 |
|---|
| 1 | EE | Germain Faure,
Claude Kirchner:
Exceptions in the Rewriting Calculus.
RTA 2002: 66-82 |
