The SCEAS System
| |||||||

## 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**[Citation Graph (0, 0)][DBLP]*n*-Syntactic Equational Theories. 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é
**C**[Citation Graph (0, 0)][DBLP]*i*ME: Complet*i*on Modulo*E*. 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.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |