Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
  • PDF
  • English
  • Year: 2004
  • Author: Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)
Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Hélène Kirchner (eds.)
Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Hélène Kirchner (eds.)
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Claude Kirchner (eds.)
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Claude Kirchner (eds.)
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)
Constraints in Computational Logics. Theory and Applications CCL ’99
  • PDF
  • english
  • Year: 2001
  • Author: Hubert Comon Claude Marché Ralf Treinen (eds.)
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.)
search