Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Johannes Waldmann (auth.), Ralf Treinen (eds.)
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.)
STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4–6, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Noam Nisan (auth.), Christoph Meinel, 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.)
STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17–19, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: M. Amin Shokrollahi (auth.), Horst Reichel, Sophie Tison (eds.)
search