Contact Version française

The ProVal team was stopped at the end of August 2012, and reborn into a new team Toccata
These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.

Publications 1995

Back

Books / Journals / Conferences / PhD theses / Misc. / Reports

Books and book chapters

[2] Maribel Fernández and Jean-Pierre Jouannaud. Modular termination of term rewriting systems revisited. In Egidio Astesiano, Gianni Reggio, and Andrzej Tarlecki, editors, Recent Trends in Data Type Specification, Lecture notes in Computer Science, vol.906, pages 255-272. Springer, 1995. Refereed selection of papers presented at ADT'94. [ bib ]
[1] Jean-Pierre Jouannaud. Rewrite proofs and computations. In Helmut Schwichtenberg, editor, Proof and Computation, volume 139 of F: Computer and Systems Sciences, pages 173-218. Springer, 1995. NATO Advanced Study Institute, International Summer School held in Marktoberdorf, Germany, July 20 - August 1, 1993. [ bib | .ps.gz | Abstract ]

Journals

[1] Hubert Comon. On unification of terms with integer exponents. Math. Systems Theory, 28:67-88, 1995. [ bib | .ps.Z ]

Conferences

[9] Roberto Di Cosmo and Delia Kesner. Rewriting with extensional polymorphic λ-calculus. In Hans Kleine Büning, editor, Proc. Conf. Computer Science Logic, volume 1092 of Lecture Notes in Computer Science, pages 215-232. Springer, September 1995. Extended Abstract. [ bib ]
[8] Farid Ajili and Evelyne Contejean. Complete solving of linear diophantine equations and inequations without adding variables. In Ugo Montanari and Francesca Rossi, editors, Proc. First International Conference on Principles and Practice of Constraint Programming, volume 976 of Lecture Notes in Computer Science, pages 1-17, Cassis, France, September 1995. Springer. [ bib | DOI | Abstract ]
[7] Hubert Comon, Robert Nieuwenhuis, and Albert Rubio. Orderings, AC-theories and symbolic constraint solving. In Dexter Kozen, editor, Tenth Annual IEEE Symposium on Logic in Computer Science, pages 375-385, San Diego, CA, June 1995. IEEE Comp. Soc. Press. [ bib | .ps.Z | Abstract ]
[6] Hubert Comon. Sequentiality, second-order monadic logic and tree automata. In Dexter Kozen, editor, Tenth Annual IEEE Symposium on Logic in Computer Science, pages 508-517, San Diego, CA, June 1995. IEEE Comp. Soc. Press. [ bib | .ps.Z | Abstract ]
[5] Jean-Pierre Jouannaud. Introduction to rewriting. In Hubert Comon and Jean-Pierre Jouannaud, editors, Term Rewriting, volume 909 of Lecture Notes in Computer Science. French Spring School of Theoretical Computer Science, Springer, 1995. [ bib ]
[4] Claude Marché. Normalized rewriting - application to ground completion and standard bases. In Hubert Comon and Jean-Pierre Jouannaud, editors, Term Rewriting, volume 909 of Lecture Notes in Computer Science, pages 154-169. French Spring School of Theoretical Computer Science, Springer, 1995. [ bib | PDF | Abstract ]
[3] Philippe Le Chenadec. A survey of symmetrized and complete group presentations. In Hubert Comon and Jean-Pierre Jouannaud, editors, Term Rewriting, volume 909 of Lecture Notes in Computer Science, pages 135-153. French Spring School of Theoretical Computer Science, Springer, 1995. [ bib ]
[2] Claude Marché. Normalized Rewriting: an unified view of Knuth-Bendix completion and Gröbner bases computation. In Manuel Bronstein and Volker Weispfenning, editors, Proceedings of the Conference on Symbolic Rewriting Techniques, Monte Verita, Switzerland, 1995. [ bib | PDF | Abstract ]
[1] Jana Koehler and Ralf Treinen. Constraint deduction in an interval-based temporal logic. In Michael Fisher and Richard Owens, editors, Executable Modal and Temporal Logics, volume 897 of Lecture Notes in Artificial Intelligence, pages 103-117. Springer, 1995. Workshop at IJCAI '93, August 93, Chambery, France. [ bib ]

PhD theses

Misc.

[1] Hubert Comon and Jean-Pierre Jouannaud, editors. Term Rewriting, volume 909 of Lecture Notes in Computer Science. French Spring School of Theoretical Computer Science, Springer, 1995. [ bib ]

Reports

[5] Jean-Pierre Jouannaud and Albert Rubio. A recursive path ordering for higher-order terms in β-normal η-expanded form. Research Report LSI-95-R, Technical University of Catalonia, December 1995. [ bib ]
[4] Jean-Pierre Jouannaud and Albert Rubio. A recursive path ordering for higher-order terms compatible with βη-reductions. Research Report LSI-95-R, Technical University of Catalonia, November 1995. [ bib ]
[3] Jean-Pierre Jouannaud and Albert Rubio. Lambda extensions of rewrite orderings. Research Report LSI-95-50-R, Technical University of Catalonia, October 1995. [ bib ]
[2] Jean-Pierre Jouannaud and Mitsuhiro Okada. Abstract data type systems. Research Report 975, Laboratoire de Recherche en Informatique, June 1995. [ bib | .ps.gz | Abstract ]
[1] Claude Marché. Associative-commutative reduction orderings via head-preserving interpretations. Technical Report 95-2, LIFAC, E.N.S. de Cachan, January 1995. [ bib | PDF | Abstract ]

Back

Books / Journals / Conferences / PhD theses / Misc. / Reports


This page was generated by bibtex2html.