Home Advanced Search

Advanced Search - Page 1

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.)
Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Frank Pfenning (auth.), 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.)
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.)
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.)
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
  • PDF
  • English
  • Year: 1990
  • Author: Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.)
Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)
Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (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.)
search