Home Advanced Search

Advanced Search - Page 1

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985
  • PDF
  • English
  • Year: 1986
  • Author: Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)
Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980
  • PDF
  • English
  • Year: 1980
  • Author: Harald Ganzinger (auth.), Neil D. Jones (eds.)
Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Samson Abramsky, Radha Jagadeesan (auth.), Andrew D. Gordon (eds.)
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Samson Abramsky (auth.), José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten (eds.)
Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.)
Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings
  • PDF
  • English
  • Year: 1990
  • Author: Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (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.)
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983
  • PDF
  • English-French
  • Year: 1983
  • Author: Samson Abramsky (auth.), Josep Diaz (eds.)
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983
  • DJVU
  • English-French
  • Year: 1983
  • Author: Samson Abramsky (auth.), Josep Diaz (eds.)
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983
  • DJVU
  • English
  • Year: 1983
  • Author: Samson Abramsky (auth.), Marek Karpinski (eds.)
search