Home Advanced Search

Advanced Search - Page 1

Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: William McCune (auth.), Hubert Comon (eds.)
Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Hubert Comon-Lundh (auth.), Igor Walukiewicz (eds.)
Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Hubert Comon, Ralf Treinen (auth.), Sophie Tison (eds.)
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
  • DJVU
  • English
  • Year: 1995
  • Author: Jean-Pierre Jouannaud (auth.), Hubert Comon, Jean-Pierre Jounnaud (eds.)
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
  • PDF
  • English
  • Year: 1995
  • Author: Jean-Pierre Jouannaud (auth.), Hubert Comon, Jean-Pierre Jounnaud (eds.)
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2007
  • Author: Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)
Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Wu Wen-Tsün (auth.), William McCune (eds.)
Constraints in Computational Logics. Theory and Applications CCL ’99
  • PDF
  • english
  • Year: 2001
  • Author: Hubert Comon Claude Marché Ralf Treinen (eds.)
Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)
Linear Algebra for Signal Processing
  • PDF
  • English
  • Year: 1995
  • Author: P. Comon (auth.), Adam Bojanczyk, George Cybenko (eds.)
search