Home Advanced Search

Advanced Search - Page 1

Topology, Domain Theory and Theoretical Computer Science
  • PDF
  • English
  • Year: 1997
  • Author: Michael W. Mislove
Mathematical Foundations of Information Flow
  • PDF
  • English
  • Year: 2012
  • Author: Samson Abramsky, Michael Mislove (ed.)
A Compendium of Continuous Lattices
  • PDF
  • English
  • Year: 1980
  • Author: Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott (auth.)
A Compendium of Continuous Lattices
  • PDF
  • English
  • Year: 1980
  • Author: Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott (auth.)
Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Michael Mislove (auth.), Maurice Nivat (eds.)
Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Michael Mislove (auth.), Maurice Nivat (eds.)
The Pontryagin Duality of Compact O-Dimensional Semilattices and its Applications
  • PDF
  • English
  • Year: 1974
  • Author: Karl Heinrich Hofmann, Michael Mislove, Albert Stralka (auth.)
Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: John W. Gray (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.)
search