Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
  • PDF
  • English
  • Year: 2009
  • Author: Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.)
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
  • PDF
  • English
  • Year: 2009
  • Author: Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.)
Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Igor Walukiewicz (auth.), Roberto Amadio (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.)
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.)
Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings
  • DJVU
  • 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
  • PDF
  • English
  • Year: 1995
  • Author: Jean-Pierre Jouannaud (auth.), Hubert Comon, Jean-Pierre Jounnaud (eds.)
search