Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Bibliography
Bibliography of Evelyne Contejean
2001
Alexandre Boudet and Evelyne Contejean.
Combining Pattern E-unification Algorithms.
In Aart Middeldorp, editor,
12th International Conference on Rewriting Techniques and Applications,
volume 2051 of Lecture Notes in Computer Science,
pages 63-76. Springer-Verlag, 2001. BibTeX entry,
abstract,
full paper
2000
Evelyne
Contejean, Antoine Coste and Benjamin Monate .
Rewriting Techniques in Theoretical Physics.
In Leo Bachmair, editor,
11th International Conference onRewriting Techniques and Applications,
volume 1833 of Lecture Notes in Computer Science,
pages 80-94. Springer-Verlag, 2000. BibTeX entry,
abstract,
full paper
1998
Nicolas Beldiceanu, Eric Bourreau, and Evelyne Contejean.
Solving a hard vehicle routing and loading problem.
In Proceedings of the Spring Meeting of the Institute for
Operations Research and the Management Sciences,
Montreal, April 1998. BibTeX entry
Alexandre Boudet and Evelyne Contejean.
About the Confluence of Equational Pattern Rewrite Systems.
In C. and H. Kirchner, editors,
15th International Conference on Automated Deduction,
volume 1421 of Lecture Notes in Artificial Intelligence,
pages 88-102. Springer-Verlag, 1998. BibTeX entry,
abstract,
full paper
Evelyne Contejean, Claude Marché and Landy Rabehasaina.
Rewrite systems for natural, integral, and rational arithmetic.
In Hubert Comon, editor, 8th International Conference on
Rewriting Techniques and Applications, 1997. BibTeX entry,
abstract,
full paper
Alexandre Boudet, Evelyne Contejean, and Claude Marché.
AC-complete unification and its application to theorem proving.
In Harald Ganzinger, editor,
7th International Conference on Rewriting Techniques and
Applications,
volume 1103 of Lecture Notes in Computer Science,
pages 18-32, New Brunswick, NJ, USA, July 1996. Springer-Verlag. BibTeX entry,
abstract,
full paper
Evelyne Contejean and Claude Marché.
CiME: Completion Modulo E.
In Harald Ganzinger, editor,
7th International Conference on Rewriting Techniques and
Applications,
volume 1103 of Lecture Notes in Computer Science,
pages 416-419, New Brunswick, NJ, USA, July 1996. Springer-Verlag.
System Description available at
http://www.lri.fr/~demons/cime.html. BibTeX entry,
abstract,
full paper
1995
Farid Ajili and Evelyne Contejean.
Complete solving of linear diophantine equations and inequations
without adding variables.
In Proc. First International Conference on Principles and
Practice of Constraint Programming,
pages 1-17, Cassis, September 1995. BibTeX entry,
abstract,
full paper
Alexandre Boudet and Evelyne Contejean.
``Syntactic'' AC-unification.
In Jean-Pierre Jouannaud, editor,
First International Conference on Constraints in Computational
Logics,
volume 845 of Lecture Notes in Computer Science,
pages 136-151, München, Germany, September 1994. Springer-Verlag. BibTeX entry,
abstract,
full paper
Evelyne Contejean and Hervé Devie.
An efficient algorithm for solving systems of diophantine equations.
Information and Computation, 113(1):143-172, August 1994. BibTeX entry,
abstract,
full paper
1993
Evelyne Contejean.
A partial solution for D-unification based on a reduction to
AC1-unification.
In Andrzej Lingas, Rolf Karlsson, and Svante Carlsson, editors,
20th International Colloquium on Automata, Languages and Programming,
volume 700 of Lecture Notes in Computer Science,
pages 621-632, Lund, Sweden, July 1993. Springer-Verlag. BibTeX entry,
abstract,
full paper
Evelyne Contejean.
Solving linear diophantine constraints incrementally.
In David S. Warren, editor,
Proc. of the Tenth Int. Conf. on Logic Programming,
Logic Programming, pages 532-549, Budapest, Hungary, June 1993. MIT Press. BibTeX entry,
abstract,
full paper
1992
Alexandre Boudet and Evelyne Contejean.
On n-syntactic equational theories.
In Hélène Kirchner and Giorgio Levi, editors,
3th International Conference on Algebraic and Logic
Programming,
volume 632 of Lecture Notes in Computer Science,
pages 446-457, Volterra, Italy, September 1992. Springer-Verlag. BibTeX entry,
abstract,
full paper
Evelyne Contejean.
Éléments pour la Décidabilité de l'Unification modulo la
Distributivité.
Thèse de doctorat, Université Paris-Sud, Orsay, France, April 1992. BibTeX entry
1991
Evelyne Contejean and Hervé Devie.
Résolution de systèmes linéaires d'équations
diophantiennes.
Comptes-Rendus de l'Académie des Sciences de Paris,
313:115-120, 1991. Série I. BibTeX entry
1990
Alexandre Boudet, Evelyne Contejean, and Hervé Devie.
A new AC-unification algorithm with a new algorithm for solving
diophantine equations.
In Proc. 5th IEEE Symp. Logic in Computer Science, Philadelphia,
pages 289-299. IEEE Computer Society Press, June 1990. BibTeX entry
1989
Evelyne Contejean and Hervé Devie.
Solving systems of linear diophantine equations.
In Proc. 3rd Workshop on Unification, Lambrecht, Germany.
University of Kaiserslautern, June 1989. BibTeX entry