Home Advanced Search

Advanced Search - Page 1

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: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)
Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)
Mathematical Foundations of Information Flow
  • PDF
  • English
  • Year: 2012
  • Author: Samson Abramsky, Michael Mislove (ed.)
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.)
Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures
  • PDF
  • English
  • Year: 1993
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 3: Semantic Structures
  • DJVU
  • English
  • Year: 1994
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
  • PDF
  • English
  • Year: 1995
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 2: Background: Computational structures
  • DJVU
  • English
  • Year: 1992
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
  • DJVU
  • English
  • Year: 1995
  • Author: Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
search