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

• 2004
• 
  Jirí Adámek, Stefan Milius:
  Preface. CMCS 2004: 1-2
• 
  Jirí Adámek, Stefan Milius, Jirí Velebil:
  From Iterative Algebras to Iterative Theories (Extended Abstract). CMCS 2004: 3-24
• 
  Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan:
  Modeling Fresh Names in the ?-calculus Using Abstractions. CMCS 2004: 25-41
• 
  Venanzio Capretta, Tarmo Uustalu, Varmo Vene:
  Recursive Coalgebras from Comonads. CMCS 2004: 43-61
• 
  Corina Cîrstea:
  On Logics for Coalgebraic Simulation. CMCS 2004: 63-90
• 
  Marcelo P. Fiore, Sam Staton:
  Comparing Operational Models of Name-Passing Process Calculi. CMCS 2004: 91-104
• 
  Neil Ghani, Kidane Yemane, Björn Victor:
  Relationally Staged Computations in Calculi of Mobile Processes. CMCS 2004: 105-120
• 
  Helle Hvid Hansen, Clemens Kupke:
  A Coalgebraic Perspective on Monotone Modal Logic. CMCS 2004: 121-143
• 
  Bart Jacobs:
  Relating Two Approaches to Coinductive Solution of Recursive Equations. CMCS 2004: 145-166
• 
  Bart Jacobs:
  Trace Semantics for Coalgebras. CMCS 2004: 167-184
• 
  Marco Kick, A. John Power:
  Modularity of Behaviours for Mathematical Operational Semantics. CMCS 2004: 185-200
• 
  Bartek Klin:
  A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces. CMCS 2004: 201-218
• 
  Clemens Kupke, Alexander Kurz, Dirk Pattinson:
  Algebraic Semantics for Coalgebraic Logics. CMCS 2004: 219-241
• 
  Alexander Kurz, Alessandra Palmigiano:
  Coalgebras and Modal Expansions of Logics. CMCS 2004: 243-259
• 
  Luís Monteiro:
  A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure. CMCS 2004: 261-277
• 
  Lawrence S. Moss, Ignacio D. Viglizzo:
  Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories. CMCS 2004: 279-295
• 
  A. John Power, Olha Shkaravska:
  From Comodels to Coalgebras: State and Arrays. CMCS 2004: 297-314
• 
  Riccardo Pucella:
  On Equivalences for a Class of Timed Regular Expressions. CMCS 2004: 315-333
• 
  Hendrik Tews:
  Predicate and Relation Lifting for Parametric Algebraic Specifications. CMCS 2004: 335-353
• 
  Yde Venema:
  Automata and Fixed Point Logics for Coalgebras. CMCS 2004: 355-375
• 
  Jirí Adámek, Stefan Milius:
  Proceedings of the Workshop on Coalgebraic Methods in Computer Science, CMCS 2004, Barcelona, Spain, March 27-29, 2004. Electronic Notes in Theoretical Computer Science 106, Elsevier 2004 [contents]