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

• 2007
• 
  Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
  Ready to Preorder: Get Your BCCSP Axiomatization for Free! CALCO 2007: 65-79
• 
  Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
  Impossibility Results for the Equational Theory of Timed CCS. CALCO 2007: 80-95
• 
  Scott Alexander:
  Conceptual Data Modeling with Constraints in Maude. CALCO 2007: 96-110
• 
  David Aspinall, Piotr Hoffman:
  Datatypes in Memory. CALCO 2007: 111-125
• 
  Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
  Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142
• 
  Nick Bezhanishvili, Alexander Kurz:
  Free Modal Algebras: A Coalgebraic Perspective. CALCO 2007: 143-157
• 
  Stephen L. Bloom, Zoltán Ésik:
  Regular and Algebraic Words and Ordinals. CALCO 2007: 1-15
• 
  Luís Caires:
  Logical Semantics of Types for Concurrency. CALCO 2007: 16-35
• 
  Corina Cîrstea, Mehrnoosh Sadrzadeh:
  Coalgebraic Epistemic Update Without Change of Model. CALCO 2007: 158-172
• 
  Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky:
  The Maude Formal Tool Environment. CALCO 2007: 173-178
• 
  Manfred Droste, Guo-Qiang Zhang:
  Bifinite Chu Spaces. CALCO 2007: 179-193
• 
  José Luiz Fiadeiro, Vincent Schmitt:
  Structured Co-spans: An Algebra of Interaction Protocols. CALCO 2007: 194-208
• 
  Fabio Gadducci, Alberto Lluch-Lafuente:
  Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225
• 
  Neil Ghani, Alexander Kurz:
  Higher Dimensional Trees, Algebraically. CALCO 2007: 226-241
• 
  Andreas Glausch, Wolfgang Reisig:
  A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. CALCO 2007: 242-256
• 
  Johan Glimming:
  Parametric (Co)Iteration vs. Primitive Direcursion. CALCO 2007: 257-278
• 
  Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
  Bisimulation for Neighbourhood Structures. CALCO 2007: 279-293
• 
  Neal A. Harman:
  Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. CALCO 2007: 294-311
• 
  Peter T. Johnstone, Stephen Lack, Pawel Sobocinski:
  Quasitoposes, Quasiadhesive Categories and Artin Glueing. CALCO 2007: 312-326
• 
  Barbara König:
  Deriving Bisimulation Congruences with Borrowed Contexts. CALCO 2007: 36-39
• 
  Dexter Kozen, Nicholas Ruozzi:
  Applications of Metric Coinduction. CALCO 2007: 327-341
• 
  Alexander Kurz, Jirí Rosický:
  The Goldblatt-Thomason Theorem for Coalgebras. CALCO 2007: 342-355
• 
  Delphine Longuet, Marc Aiguier:
  Specification-Based Testing for CoCasl's Modal Specifications. CALCO 2007: 356-371
• 
  Dorel Lucanu, Grigore Rosu:
  CIRC : A Circular Coinductive Prover. CALCO 2007: 372-378
• 
  Radu Mardare:
  Observing Distributed Computation. A Dynamic-Epistemic Approach. CALCO 2007: 379-393
• 
  Alessandra Palmigiano, Yde Venema:
  Nabla Algebras and Chu Spaces. CALCO 2007: 394-408
• 
  Marius Petria:
  An Institutional Version of Gödel's Completeness Theorem. CALCO 2007: 409-424
• 
  Jan J. M. M. Rutten:
  Coalgebraic Foundations of Linear Systems. CALCO 2007: 425-446
• 
  Lutz Schröder:
  Bootstrapping Types and Cotypes in HasCASL. CALCO 2007: 447-461
• 
  Glynn Winskel:
  Symmetry and Concurrency. CALCO 2007: 40-64

skipping 1 more match