Germain Faure

According to our database, Germain Faure authored at least 9 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses.

Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Werner

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2008

SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.

Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

2007

A rho-calculus of explicit constraint application.

Horatiu Cirstea, Germain Faure, Claude Kirchner

High. Order Symb. Comput., 2007

Confluence of Pattern-Based Calculi.

Horatiu Cirstea, Germain Faure

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

Structures et modeles de calculs de reecriture (Structures and models of rewriting calculi).

Germain Faure

PhD thesis, 2007

2006

Term Collections in lambda and rho-calculi.

Germain Faure

Proceedings of the Second International Workshop on Developments in Computational Models, 2006

From Functional Programs to Interaction Nets via the Rewriting Calculus.

Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

Matching Modulo Superdevelopments Application to Second-Order Matching.

Germain Faure

Proceedings of the Logic for Programming, 2006

2002

Exceptions in the Rewriting Calculus.

Germain Faure, Claude Kirchner

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002