 | 2011 |
|---|
| 10 |       | Michaël Armand,
Germain Faure,
Benjamin Grégoire,
Chantal Keller,
Laurent Théry,
Benjamin Werner:
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses.
CPP 2011: 135-150 |
| 2008 |
|---|
| 9 | | 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 |
|---|
| 8 | | Horatiu Cirstea,
Germain Faure:
Confluence of Pattern-Based Calculi.
RTA 2007: 78-92 |
| 7 | | Germain Faure:
Term Collections in lambda and rho-calculi.
Electr. Notes Theor. Comput. Sci. 171(3): 3-19 (2007) |
| 6 | | 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) |
| 5 | | Horatiu Cirstea,
Germain Faure,
Claude Kirchner:
A rho-calculus of explicit constraint application.
Higher-Order and Symbolic Computation 20(1-2): 37-72 (2007) |
| 4 |  | Germain Faure:
Structures et modeles de calculs de reecriture.
LORIA 2007: I-VI, 1-222 |
| 2006 |
|---|
| 3 | | Germain Faure:
Matching Modulo Superdevelopments Application to Second-Order Matching.
LPAR 2006: 60-74 |
| 2005 |
|---|
| 2 | | Horatiu Cirstea,
Germain Faure,
Claude Kirchner:
A rho-Calculus of Explicit Constraint Application.
Electr. Notes Theor. Comput. Sci. 117: 51-67 (2005) |
| 2002 |
|---|
| 1 | | Germain Faure,
Claude Kirchner:
Exceptions in the Rewriting Calculus.
RTA 2002: 66-82 |
Data released under the ODC-BY 1.0 license — See also our legal information page