Some Books

Hassan Ait-Kaci and Maurice Nivat. Resolution of Equations in Algebraic Structures: Algebraic Techniques (Vol. 1). Academic Press, 1989. ASIN: 0120463709.
Hassan Ait-Kaci and Maurice Nivat. Resolution of Equations in Algebraic Structures: Rewriting Techniques (Vol. 2). Academic Press, 1989. ASIN: 0120463717.
Jürgen Avenhaus. Reduktionssysteme. Springer-Verlag, 1995.
Franz Baader and Tobias Nipkow. Term Rewriting and All That. Cambridge University Press, 1998. Book's Home Page
Leo Bachmair. Canonical Equational Proofs. Progress in Theoretical Computer Science. Birkäuser, 1991.
Leo Bachmair and Jieh Hsiang. Rewrite Techniques in Theorem Proving. Journal of Symbolic Computation 11 (1), Academic Press, 1991.
Henk P. Barendregt. The Typed Lambda Calculus, its Syntax and Semantics. North-Holland, 1991.
Hendrik Pieter Barendregt. The Lambda Calculus, its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics, vol. 103. Elsevier, 1984.
Benjamin Benninghofen, Susanne Kemmerich and Michael M. Richter. Systems of Reductions. Lecture Notes in Computer Science, vol. 277. Springer-Verlag, 1987.
Ronald V. Book and Friedrich Otto. String-Rewriting Systems. Springer-Verlag, 1993.
Reinhard Bündgen. Lehrbuch Termersetzungssyteme: Termersetzungssysteme Theorie, Implementierung, Anwendung. Verlag Vieweg, 1998. Book's Home Page,
Stanley N. Burris. Logic for Mathematics and Computer Science. Prentice Hall, 1997.
Alonzo Church. The Calculi of Lambda Conversion. Ann. Mathematics Studies, vol. 6. Princeton University Press, 1941.
Hubert Comon, Max Dauchet, Remi Gilleron, Denis Lugiez, Sophie Tison and Marc Tommasi. Tree Automata Techniques and Applications. Still under construction. TATA's Home Page
Heiko Dorr. Efficient Graph Rewriting and Its Implementation. Lecture Notes in Computer Science, vol. 922. Springer-Verlag, 1995.
Klaus Drosten. Termersetzungssysteme. Informatik-Fachberichte, vol. 210. Springer-Verlag, 1989.
Joseph A. Goguen and Grant Malcolm. Algebraic Semantics of Imperative Programs. MIT Press, Cambridge, Mass., 1996.
Jacques Herbrand. Logical Writings. Reidel, 1979.
J. Roger Hindley and Jonathan P. Seldin. Introduction to Combinators and lambda-Calculus. Cambridge University Press, 1986.
Dieter Hofbauer and Ralf-Detlef Kutsche. Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker. Vieweg, 1989, 1991 (2nd Ed.).
Steffen Hölldobler. Foundations of Equational Logic Programming. Lecture Notes in Computer Science, vol. 353. Springer-Verlag, 1989.
Gérard Huet. Résolution d'équations dans les langages d'ordre 1, 2, ..., omega. Thèse d'État, Université Paris VII, 1976.
Matthias Jantzen. Confluent String Rewriting. EATCS Monographs on Theoretical Computer Science, vol 14. Springer-Verlag, 1988.
Jean-Pierre Jouannaud. Rewriting Techniques and Applications. Academic Press, London, 1987.
Claude and Hélène Kirchner. Rewriting Solving Proving. Available in dvi form with hyperlinks, or in ps form.
Jan Willem Klop. Combinatory Reduction Systems. Mathematical Centre Tracts 127. Mathematisch Centrum, Amsterdam, 1980.
Philippe Le Chenadec. Canonical Forms in Finitely Presented Algebras. Research Notes in Theoretical Computer Science. Pitman-Wiley, 1986.
Michael J. O'Donnell. Computing in Systems Described by Equations. Lecture Notes in Computer Science, vol. 58. Springer-Verlag, 1977.
Michael J. O'Donnell. Equational Logic as a Programming Language. MIT Press, 1985.
Enno Ohlebusch. Advanced Topics in Term Rewriting. Springer-Verlag, 414 pages, April 2002. ISBN: 0-387-95250-0. SpringerOnline
Peter Padawitz. Computing in Horn Clause Theories. EATCS Monographs on Theoretical Computer Science, vol. 16. Springer-Verlag, 1988.
Christian Prehofer. Solving Higher-Order Equations: From Logic to Programming. Progress in Theoretical Computer Science. Birkhauser, 1997.
Alan Robinson and Andrei Voronkov. Handbook of Automated Reasoning (in 2 volumes). Elsevier Science and MIT Press, 2001. Web page.
Joseph G. Rosenstein. Linear Orderings. Academic Press, 1982.
Michaël Rusinowitch. Démonstration Automatique : Techniques de Réécriture. InterÉditions, Paris, 1989.
Ronan Sleep, Rinus Plasmeijer and Marko van Eekelen. Term Graph Rewriting. Theory and Practice. John Wiley, 1993.
Terese. Term Rewriting Systems. Cambridge University Press, 2003.

Rare Papers

http://perso.ens-lyon.fr/pierre.lescanne/not_accessible.html

RTA Proceedings

Proceedings 1st International Conference on Rewriting Techniques and Applications, Dijon (France), May 20-22, 1985. Lecture Notes in Computer Science, vol. 202. Springer-Verlag.
Contents.
Proceedings 2nd International Conference on Rewriting Techniques and Applications, Bordeaux (France), May 25-27, 1987. Lecture Notes in Computer Science, vol. 256. Springer-Verlag.
Contents.
Proceedings 3rd International Conference on Rewriting Techniques and Applications, Chapel Hill (N.C., USA), April 3-5, 1989. Lecture Notes in Computer Science, vol. 355. Springer-Verlag.
Contents.
Proceedings 4th International Conference on Rewriting Techniques and Applications, Como (Italy), April 10-12, 1991. Lecture Notes in Computer Science, vol. 488. Springer-Verlag.
Contents.
Proceedings 5th International Conference on Rewriting Techniques and Applications, Montreal (Canada), June 16-18, 1993. Lecture Notes in Computer Science, vol. 690. Springer-Verlag.
Contents.
Proceedings 6th International Conference on Rewriting Techniques and Applications, Kaiserslautern (Germany), April 5-7, 1995. Lecture Notes in Computer Science, vol. 914. Springer-Verlag.
Contents.
Proceedings 7th International Conference on Rewriting Techniques and Applications, New Brunswick (N.J., USA), July 27-30, 1996. Lecture Notes in Computer Science, vol. 1103. Springer-Verlag.
Contents.
Proceedings 8th International Conference on Rewriting Techniques and Applications, Sitges (Spain), June 2-5, 1997. Lecture Notes in Computer Science, vol. 1232. Springer-Verlag.
Contents.
Proceedings 9th International Conference on Rewriting Techniques and Applications, Tsukuba (Japan), March 30 - April 1, 1998. Lecture Notes in Computer Science, vol. 1379. Springer-Verlag.
Contents.
Proceedings 10th International Conference on Rewriting Techniques and Applications, Trento (Italy), July 2-4, 1999. Lecture Notes in Computer Science, vol. 1631. Springer-Verlag.
Contents.
Proceedings 11th International Conference on Rewriting Techniques and Applications, Norwich (U.K.), July 10-12, 2000. Lecture Notes in Computer Science, vol. 1833. Springer-Verlag.
Contents.
Proceedings 12th International Conference on Rewriting Techniques and Applications, Utrecht (The Netherlands), May 22-24, 2001. Lecture Notes in Computer Science, vol. 2051. Springer.
Contents.
Proceedings 13th International Conference on Rewriting Techniques and Applications, Copenhagen (Denmark), July 22-24, 2002. Lecture Notes in Computer Science, vol. 2378. Springer.
Contents.
Proceedings 14th International Conference on Rewriting Techniques and Applications, Valencia (Spain), June 9-11, 2003. Lecture Notes in Computer Science, vol. 2706. Springer.
Contents.

CTRS Proceedings

Proceedings 1st International Workshop on Conditional Term Rewriting Systems, Orsay (France), July 8-10, 1987. Lecture Notes in Computer Science, vol. 308. Springer-Verlag.
Contents.
Proceedings 2nd International Workshop on Conditional Term Rewriting Systems, Montreal (Canada), June 11-14, 1990. Lecture Notes in Computer Science, vol. 516. Springer-Verlag.
Contents.
Proceedings 3rd International Workshop on Conditional Term Rewriting Systems, Pont-à-Mousson (France), July 8-10, 1992. Lecture Notes in Computer Science, vol. 656. Springer-Verlag.
Contents.
Proceedings 4th International Workshop on Conditional Term Rewriting Systems, Jerusalem (Israel), July 13-15, 1994. Lecture Notes in Computer Science, vol. 968. Springer-Verlag.
Contents.

Realized by Nachum Dershowitz and Laurent Vigneron.
Last modified: 11-Oct-2004.