Searching for authors named "Claude Kirchner" – sorted by Relevance.
62 documents found, showing 1 through 10.
Next 10 →
-
Constraint Solving on Terms: Syntactic Methods
- …Constraint Solving on Terms: Syntactic Methods Preliminary lecture notes Claude Kirchner LORIA…
- Add To MetaCart
-
Conditional Concurrent Rewriting
- … AUTOMATIQUE Conditional Concurrent Rewriting Ilies ALOUINI , Claude KIRCHNER N 2777 Mars 1996 TH EME…
- Add To MetaCart
-
Proc. of the First CCL Workshop
- … by Eric Domenjoud and Claude Kirchner INRIA-Lorraine & CRIN 615, rue du Jardin Botanique, BP 101 54602…
- Add To MetaCart
-
Inversion Strategies
- …Inversion Strategies Nachum Dershowitz 1 and Claude Kirchner 2 1 School of Computer Science Tel…
- Add To MetaCart
-
Rewriting and Multisets in rho-calculus and ELAN
- …Rewriting and Multisets in -calculus and ELAN Horatiu Cirstea & Claude Kirchner LORIA and INRIA…
- Add To MetaCart
-
Cut Elimination in Deduction Modulo by Abstract Completion
- … Burel Claude Kirchner August 6, 2007 Abstract Deduction Modulo implements Poincaré’s principle…
- Cited by 1 (0 self) – Add To MetaCart
-
Abstract saturation-based inference
- … numerical values to each un- £ Supported in part by the Israel Science Foundation. Claude Kirchner LORIA…
- Cited by 7 (2 self) – Add To MetaCart
-
The rewriting calculus as a semantics of ELAN
- …The Rewriting Calculus as a Semantics of ELAN Horatiu Cirstea and Claude Kirchner LORIA - INRIA…
- Cited by 2 (1 self) – Add To MetaCart
-
Rule-Based Constraint Programming
- …Rule-Based Constraint Programming Claude Kirchner, Christophe Ringeissen LORIA - INRIA 615 rue du…
- Cited by 8 (1 self) – Add To MetaCart
-
The rewriting calculus as a combinatory reduction system
- …The Rewriting Calculus as a Combinatory Reduction System Clara Bertolissi 1 , Claude Kirchner 2 1…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
