The SCEAS System
Navigation Menu

Search the dblp DataBase


Evelyne Contejean: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002