Home Advanced Search

Advanced Search - Page 1

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.)
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Sandrine Blazy, Marsha Chechik (eds.)
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Sandrine Blazy, Thomas Jensen (eds.)
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)
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.)
Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Peter Thiemann (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.)
search