Search the dblp DataBase

Publications of Author

1. Alexandre Boudet, Evelyne Contejean
   On n-Syntactic Equational Theories. [Citation Graph (0, 0)][DBLP]
   ALP, 1992, pp:446-457 [Conf]
   
2. Alexandre Boudet, Evelyne Contejean
   About the Confluence of Equational Pattern Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   CADE, 1998, pp:88-102 [Conf]
   
3. Evelyne Contejean, Pierre Corbineau
   Reflecting Proofs in First-Order Logic with Equality. [Citation Graph (0, 0)][DBLP]
   CADE, 2005, pp:7-22 [Conf]
   
4. Alexandre Boudet, Evelyne Contejean
   "Syntactic" AC-Unification. [Citation Graph (0, 0)][DBLP]
   CCL, 1994, pp:136-151 [Conf]
   
5. Alexandre Boudet, Evelyne Contejean
   AC-Unification of Higher-Order Patterns. [Citation Graph (0, 0)][DBLP]
   CP, 1997, pp:267-281 [Conf]
   
6. 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]
   
7. 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]
   
8. Evelyne Contejean
   Solving Linear Diophantine Constraints Incrementally. [Citation Graph (0, 0)][DBLP]
   ICLP, 1993, pp:532-549 [Conf]
   
9. 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]
   
10. Evelyne Contejean
    A Certified AC Matching Algorithm. [Citation Graph (0, 0)][DBLP]
    RTA, 2004, pp:70-84 [Conf]
    
11. Evelyne Contejean, Antoine Coste, Benjamin Monate
    Rewriting Techniques in Theoretical Physics. [Citation Graph (0, 0)][DBLP]
    RTA, 2000, pp:80-94 [Conf]
    
12. Evelyne Contejean, Claude Marché
    CiME: Completion Modulo E. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:416-419 [Conf]
    
13. 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]
    
14. Alexandre Boudet, Evelyne Contejean
    Combining Pattern E-Unification Algorithms. [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:63-76 [Conf]
    
15. 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]
    
16. 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]
    
17. 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]
    
18. 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]
    
19. 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]
    
20. Evelyne Contejean
    Modeling Permutations in Coqfor Coccinelle. [Citation Graph (0, 0)][DBLP]
    Rewriting, Computation and Proof, 2007, pp:259-269 [Conf]
    
21. 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]
    
22. 
    A3PAT, an approach for certified automated termination proofs. [Citation Graph (, )][DBLP]
    
    
23. 
    CC(X): Semantic Combination of Congruence Closure with Solvable Theories. [Citation Graph (, )][DBLP]