Search the dblp DataBase
Evelyne Contejean :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alexandre Boudet , Evelyne Contejean On n -Syntactic Equational Theories. [Citation Graph (0, 0)][DBLP ] ALP, 1992, pp:446-457 [Conf ] Alexandre Boudet , Evelyne Contejean About the Confluence of Equational Pattern Rewrite Systems. [Citation Graph (0, 0)][DBLP ] CADE, 1998, pp:88-102 [Conf ] Evelyne Contejean , Pierre Corbineau Reflecting Proofs in First-Order Logic with Equality. [Citation Graph (0, 0)][DBLP ] CADE, 2005, pp:7-22 [Conf ] Alexandre Boudet , Evelyne Contejean "Syntactic" AC-Unification. [Citation Graph (0, 0)][DBLP ] CCL, 1994, pp:136-151 [Conf ] Alexandre Boudet , Evelyne Contejean AC-Unification of Higher-Order Patterns. [Citation Graph (0, 0)][DBLP ] CP, 1997, pp:267-281 [Conf ] Farid Ajili , Evelyne Contejean Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables. [Citation Graph (0, 0)][DBLP ] CP, 1995, pp:1-17 [Conf ] Evelyne Contejean A Partial Solution for D-Unification Based on a Reduction to AC1-Unification. [Citation Graph (0, 0)][DBLP ] ICALP, 1993, pp:621-632 [Conf ] Evelyne Contejean Solving Linear Diophantine Constraints Incrementally. [Citation Graph (0, 0)][DBLP ] ICLP, 1993, pp:532-549 [Conf ] Alexandre Boudet , Evelyne Contejean , Hervé Devie A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations [Citation Graph (0, 0)][DBLP ] LICS, 1990, pp:289-299 [Conf ] Evelyne Contejean A Certified AC Matching Algorithm. [Citation Graph (0, 0)][DBLP ] RTA, 2004, pp:70-84 [Conf ] Evelyne Contejean , Antoine Coste , Benjamin Monate Rewriting Techniques in Theoretical Physics. [Citation Graph (0, 0)][DBLP ] RTA, 2000, pp:80-94 [Conf ] Evelyne Contejean , Claude Marché Ci ME: Completi on Modulo E . [Citation Graph (0, 0)][DBLP ] RTA, 1996, pp:416-419 [Conf ] Evelyne Contejean , Claude Marché , Landy Rabehasaina Rewrite Systems for Natural, Integral, and Rational Arithmetic. [Citation Graph (0, 0)][DBLP ] RTA, 1997, pp:98-112 [Conf ] Alexandre Boudet , Evelyne Contejean Combining Pattern E-Unification Algorithms. [Citation Graph (0, 0)][DBLP ] RTA, 2001, pp:63-76 [Conf ] Alexandre Boudet , Evelyne Contejean , Claude Marché AC-Complete Unification and its Application to Theorem Proving. [Citation Graph (0, 0)][DBLP ] RTA, 1996, pp:18-32 [Conf ] Evelyne Contejean , Hervé Devie An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:113, n:1, pp:143-172 [Journal ] Evelyne Contejean , Claude Marché , Ana Paula Tomás , Xavier Urbain Mechanically Proving Termination Using Polynomial Interpretations. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2005, v:34, n:4, pp:325-363 [Journal ] Evelyne Contejean Solving *-Problems Modulo Distributivity by a Reduction to AC1-Unification. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1993, v:16, n:5, pp:493-521 [Journal ] Farid Ajili , Evelyne Contejean Avoiding Slack Variables in the Solving of Linear Diophantine Equations and Inequations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:173, n:1, pp:183-208 [Journal ] Evelyne Contejean Modeling Permutations in Coqfor Coccinelle. [Citation Graph (0, 0)][DBLP ] Rewriting, Computation and Proof, 2007, pp:259-269 [Conf ] Evelyne Contejean , Pierre Courtieu , Julien Forest , Olivier Pons , Xavier Urbain Certification of Automated Termination Proofs. [Citation Graph (0, 0)][DBLP ] FroCos, 2007, pp:148-162 [Conf ] A3PAT, an approach for certified automated termination proofs. [Citation Graph (, )][DBLP ] CC(X): Semantic Combination of Congruence Closure with Solvable Theories. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs