Germain Faure (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Horatiu Cirstea, Germain Faure, Claude Kirchner: A rho-calculus of explicit constraint application. Higher-Order and Symbolic Computation 20(1-2): 37-72 (2007)

2 Horatiu Cirstea, Germain Faure, Claude Kirchner: A rho-Calculus of Explicit Constraint Application. Electr. Notes Theor. Comput. Sci. 117: 51-67 (2005)

1 Germain Faure, Claude Kirchner: Exceptions in the Rewriting Calculus. RTA 2002: 66-82

Selection of 3 from 8 records - Germain Faure has 8 coauthors

4		Horatiu Cirstea, Germain Faure, Claude Kirchner: A rho-calculus of explicit constraint application. Higher-Order and Symbolic Computation 20(1-2): 37-72 (2007)
2		Horatiu Cirstea, Germain Faure, Claude Kirchner: A rho-Calculus of Explicit Constraint Application. Electr. Notes Theor. Comput. Sci. 117: 51-67 (2005)
1		Germain Faure, Claude Kirchner: Exceptions in the Rewriting Calculus. RTA 2002: 66-82