Home Advanced Search

Advanced Search - Page 1

Algebraic and Logic Programming: Second International Conference Nancy, France, October 1–3, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Joseph A. Goguen (auth.), Hélène Kirchner, Wolfgang Wechler (eds.)
Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics
  • PDF
  • English
  • Year: 2005
  • Author: Joseph A Goguen (auth.), Kecheng Liu (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.)
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.)
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.)
Software engineering with OBJ: algebraic specification in action
  • DJVU
  • English
  • Year: 2000
  • Author: Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)
Universal Algebra for Computer Scientists
  • PDF
  • English
  • Year: 1992
  • Author: Wolfgang Wechler
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Joseph A. Goguen, Razvan Diaconescu (auth.), Hartmut Ehrig, Fernando Orejas (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.)
search