BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Denmark
1 × France
Collaborated with:
H.Cirstea C.Kirchner R.Nieuwenhuis A.Oliveras E.Rodríguez-Carbonell
Talks about:
calculus (3) constraint (2) explicit (2) applic (2) rho (2) confluenc (1) commerci (1) arithmet (1) pattern (1) inexact (1)

Person: Germain Faure

DBLP DBLP: Faure:Germain

Contributed to:

SAT 20082008
RTA 20072007
WRLA 20042005
WRLA 20042007
RTA 20022002

Wrote 5 papers:

SAT-2008-FaureNOR #formal method #linear #satisfiability
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers (GF, RN, AO, ERC), pp. 77–90.
RTA-2007-CirsteaF #calculus #confluence
Confluence of Pattern-Based Calculi (HC, GF), pp. 78–92.
WRLA-2004-CirsteaFK05 #calculus #constraints
A rho-Calculus of Explicit Constraint Application (HC, GF, CK), pp. 51–67.
WRLA-J-2004-CirsteaFK07 #calculus #constraints
A rho-calculus of explicit constraint application (HC, GF, CK), pp. 37–72.
RTA-2002-FaureK #calculus #exception
Exceptions in the Rewriting Calculus (GF, CK), pp. 66–82.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.