Home Advanced Search

Advanced Search - Page 1

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
  • PDF
  • English
  • Year: 2011
  • Author: Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)
Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Gul Agha (auth.), Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.)
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.)
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Sandrine Blazy, Philippe Facon (auth.), Olivier Danvy, Robert Glück, Peter Thiemann (eds.)
Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Olivier Danvy, Chung-chieh Shan, Ian Zerny (auth.), Walid Mohamed Taha (eds.)
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Gul Agha (auth.), J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.)
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Gul Agha (auth.), J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.)