• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 32 matches

• 1994
• 
  Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
  Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Lecture Notes in Computer Science 802, Springer 1994, ISBN 3-540-58027-1 [contents]
• 1993
• 
  Peter Aczel:
  Final Universes of Processes. MFPS 1993: 1-28
• 
  J. W. de Bakker, Franck van Breugel:
  Topological Models for Higher Ordr Control Flow. MFPS 1993: 122-142
• 
  Anindya Banerjee, David A. Schmidt:
  A Categorical Interpretation of Landin's Correspondence Principle. MFPS 1993: 587-602
• 
  Eike Best, Hans-Günther Linde-Göers:
  Compositional Process Semantics of Petri Boxes. MFPS 1993: 250-270
• 
  Stephen L. Bloom, Zoltán Ésik:
  Some Quasi-Varieties of Iteration Theories. MFPS 1993: 378-409
• 
  Richard Blute, Robert A. G. Seely, Prakash Panangaden:
  Holomorhpic Models of Exponential Types in Linear Logic. MFPS 1993: 474-512
• 
  Franck van Breugel:
  Three Metric Domains of Processes for Bisimulation. MFPS 1993: 103-121
• 
  Stephen D. Brookes, Shai Geva:
  Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. MFPS 1993: 320-332
• 
  Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy:
  An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. MFPS 1993: 603-626
• 
  Antonio Bucciarelli:
  Another Approach to Sequentiality: Kleene's Unimonotone Functions. MFPS 1993: 333-358
• 
  Hugues Calbrix, Maurice Nivat, Andreas Podelski:
  Ultimately Periodic Words of Rational w-Languages. MFPS 1993: 554-566
• 
  Liang Chen:
  Axiomatising Real-Time Processes. MFPS 1993: 215-229
• 
  Pierre-Louis Curien:
  On the Symmetry of Sequentiality. MFPS 1993: 29-71
• 
  Olivier Danvy, John Hatcliff:
  On the Transformation between Direct and Continuation Semantics. MFPS 1993: 627-648
• 
  Adrian Fiech:
  Category of Delta-Functors. MFPS 1993: 567-586
• 
  Reinhold Heckmann:
  Probabilistic Power Domains, Information Systems, and Locales. MFPS 1993: 410-437
• 
  Michael Huth:
  Linear Domains and Linear Maps. MFPS 1993: 438-453
• 
  Alan Jeffrey:
  A Chemical Abstract Machine for Graph Reduction. MFPS 1993: 293-303
• 
  Ralph Kopperman, Bob Flagg:
  The Asymmetric Topology of Computer Science. MFPS 1993: 544-553
• 
  Kim Guldstrand Larsen, Wang Yi:
  Time Abstracted Bisimiulation: Implicit Specifications and Decidability. MFPS 1993: 160-176
• 
  Philip S. Mulry:
  Lifting Theorems for Kleisli Categories. MFPS 1993: 304-319
• 
  G. Michele Pinna, Axel Poigné:
  On the Specification of Elementary Reactive Behaviour. MFPS 1993: 271-292
• 
  Andrew M. Pitts:
  Computational Adequacy via "Mixed" Inductive Definitions. MFPS 1993: 72-82
• 
  Alexander Moshe Rabinovich:
  A Complete Axiomatisation for Trace Congruence of Finite State Behaviors. MFPS 1993: 530-543
• 
  Jan J. M. M. Rutten:
  A Strucutral Co-Induction Theorem. MFPS 1993: 83-102
• 
  Davide Sangiorgi:
  An Investigation into Functions as Processes. MFPS 1993: 143-159
• 
  Steve A. Schneider:
  Timewise Refinement for Communicating Processes. MFPS 1993: 177-214
• 
  David Scholefield, Hussein S. M. Zedan, Jifeng He:
  A Predicative Semantics for the Refinement of Real-Time Systems. MFPS 1993: 230-249
• 
  Allen Stoughton:
  Mechanizing Logical Relations. MFPS 1993: 359-377

skipping 2 more matches