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

• 2005
• 
  Lars Birkedal:
  Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004. Electronic Notes in Theoretical Computer Science 122, Elsevier 2005 [contents]
• 2004
• 
  Jirí Adámek, Stefan Milius, Jirí Velebil:
  Iterative Algebras for a Base. CTCS 2004: 147-170
• 
  Lars Birkedal:
  Preface. CTCS 2004: 1-
• 
  Mario Cáccamo, Glynn Winskel:
  Limit Preservation from Naturality. CTCS 2004: 3-22
• 
  J. Robin B. Cockett, Craig A. Pastro:
  A Language For Multiplicative-additive Linear Logic. CTCS 2004: 23-65
• 
  Ana Paula Lüdtke Ferreira, Leila Ribeiro:
  A Graph-based Semantics For Object-oriented Programming Constructs. CTCS 2004: 89-104
• 
  Esfandiar Haghverdi, Philip J. Scott:
  From Geometry of Interaction to Denotational Semantics. CTCS 2004: 67-87
• 
  Maria Emilia Maietti:
  Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe. CTCS 2004: 105-126
• 
  Paul-André Melliès:
  Asynchronous Games 3 An Innocent Model of Linear Logic. CTCS 2004: 171-192
• 
  Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao:
  A Coalgebraic Semantic Framework for Component-based Development in UML. CTCS 2004: 229-245
• 
  Markus Michelbrink, Anton Setzer:
  State Dependent IO-Monads in Type Theory. CTCS 2004: 127-146
• 
  Andrea Schalk, José Juan Palacios Pérez:
  Concrete Data Structures as Games. CTCS 2004: 193-210
• 
  Ana Sokolova, Erik P. de Vink, Harald Woracek:
  Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). CTCS 2004: 211-228
• 
  Paul Taylor:
  Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe. CTCS 2004: 247-296