|
[2]
|
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 ]
|
|
[1]
|
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 ]
|
|
[9]
|
Farid Ajili and Évelyne 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 ]
|
|
[8]
|
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 ]
|
|
[7]
|
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 ]
|
|
[6]
|
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 ]
|
|
[5]
|
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 ]
|
|
[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]
|
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 ]
|
|
[2]
|
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 ]
|
|
[1]
|
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 ]
|
|
[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 ]
|