• 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 19 matches

• 2018
• 
  Alexandra Silva:
  Preface. MFPS 2018: 1-3
• 
  Bart Jacobs:
  A Note on Distances between Probabilistic and Quantum distributions. MFPS 2018: 173-187
• 
  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
  Complete Axiomatization for the Total Variation Distance of Markov Chains. MFPS 2018: 27-39
• 
  Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk:
  Proving Soundness of Extensional Normal-Form Bisimilarities. MFPS 2018: 41-56
• 
  Ales Bizjak, Lars Birkedal:
  On Models of Higher-Order Separation Logic. MFPS 2018: 57-78
• 
  Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry:
  From Reversible Programs to Univalent Universes and Back. MFPS 2018: 5-25
• 
  Loris D'Antoni, Zachary Kincaid, Fang Wang:
  A Symbolic Decision Procedure for Symbolic Alternating Finite Automata. MFPS 2018: 79-99
• 
  Simon Docherty, David J. Pym:
  A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. MFPS 2018: 101-118
• 
  Peter Dybjer, Hugo Moeneclaey:
  Finitary Higher Inductive Types in the Groupoid Model. MFPS 2018: 119-134
• 
  Nicolas Gagné, Prakash Panangaden:
  A Categorical Characterization of Relative Entropy on Standard Borel Spaces. MFPS 2018: 135-153
• 
  Robert Glück, Robin Kaarsgaard:
  A Categorical Foundation for Structured Reversible Flowchart Languages. MFPS 2018: 155-171
• 
  Clément Jacq, Paul-André Melliès:
  On Dialogue Games and Graph Games. MFPS 2018: 189-206
• 
  Barry Jay:
  Self-Quotation in a Typed, Intensional Lambda-Calculus. MFPS 2018: 207-222
• 
  Ryan Kavanagh, Stephen Brookes:
  A Denotational Semantics for SPARC TSO. MFPS 2018: 223-239
• 
  Paul-André Melliès, Léo Stefanesco:
  A Game Semantics of Concurrent Separation Logic. MFPS 2018: 241-256
• 
  Mathys Rennela, Sam Staton:
  Classical Control and Quantum Circuits in Enriched Category Theory. MFPS 2018: 257-279
• 
  Alex Simpson:
  Category-theoretic Structure for Independence and Conditional Independence. MFPS 2018: 281-297
• 
  Niels F. W. Voorneveld:
  Non-deterministic Effects in a Realizability Model. MFPS 2018: 299-314
• 
  Alexandra Silva:
  The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017. Electronic Notes in Theoretical Computer Science 336, Elsevier 2018 [contents]