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

• 2002
• 
  Samson Abramsky, Bob Coecke:
  Physical Traces: Quantum vs. Classical Information Processing. CTCS 2002: 1-22
• 
  Jirí Adámek, Stefan Milius, Jirí Velebil:
  On Rational Monads and Free Iterative Theories. CTCS 2002: 23-46
• 
  Stephen L. Bloom, Zoltán Ésik:
  Unique, guarded fixed points in an additive setting: Extended Abstract. CTCS 2002: 47-61
• 
  Richard Blute, Peter Selinger:
  Preface. CTCS 2002: 362-365
• 
  Pierre Boudes:
  Non-Uniform Hypercoherences. CTCS 2002: 62-82
• 
  Matteo Coccia, Fabio Gadducci, Ugo Montanari:
  GS.Lambda Theories: A Syntax for Higher-Order Graphs. CTCS 2002: 83-100
• 
  J. Robin B. Cockett, Luigi Santocanale:
  Induction, Coinduction, and Adjoints. CTCS 2002: 101-119
• 
  Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas:
  Bisimulation Relations for Dynamical and Control Systems. CTCS 2002: 120-136
• 
  Masahito Hasegawa:
  The Uniformity Principle on Traced Monoidal Categories. CTCS 2002: 137-155
• 
  Jesse Hughes, Bart Jacobs:
  Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. CTCS 2002: 156-182
• 
  Jürgen Koslowski:
  A monadic approach to polycategories. CTCS 2002: 183-208
• 
  James Laird:
  A Categorical Semantics of Higher Order Store. CTCS 2002: 209-226
• 
  François Lamarche:
  Multiplicative Linear Logics and Fibrations. CTCS 2002: 227-247
• 
  Paul Blain Levy:
  Adjunction Models For Call-By-Push-Value With Stacks. CTCS 2002: 248-271
• 
  Maria Emilia Maietti:
  Joyal's arithmetic universes via type theory. CTCS 2002: 272-286
• 
  Stefan Milius:
  On Iteratable Endofunctors. CTCS 2002: 287-304
• 
  Lutz Schröder:
  Classifying categories for partial equational logic. CTCS 2002: 305-322
• 
  Paul Taylor:
  Local Compactness and the Baire Category Theorem in Abstract Stone Duality. CTCS 2002: 323-345
• 
  Krzysztof Worytkiewicz:
  Paths and Simulations. CTCS 2002: 346-361
• 
  Richard Blute, Peter Selinger:
  Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002. Electronic Notes in Theoretical Computer Science 69, Elsevier 2002 [contents]