• 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

• 2013
• 
  Andrei Popescu, Johannes Hölzl, Tobias Nipkow:
  Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. CALCO 2013: 236-252
• 
  Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
  Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO 2013: 36-50
• 
  Adriana Balan, Alexander Kurz, Jirí Velebil:
  Positive Fragments of Coalgebraic Logics. CALCO 2013: 51-65
• 
  Andrej Bauer, Matija Pretnar:
  An Effect System for Algebraic Effects and Handlers. CALCO 2013: 1-16
• 
  Marta Bílková, Matej Dostál:
  Many-Valued Relation Lifting and Moss' Coalgebraic Logic. CALCO 2013: 66-79
• 
  Mikolaj Bojanczyk:
  Automata and Algebras for Infinite Words and Trees. CALCO 2013: 17-18
• 
  Filippo Bonchi, Fabio Zanasi:
  Saturated Semantics for Coalgebraic Logic Programming. CALCO 2013: 80-94
• 
  Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot:
  Presenting Distributive Laws. CALCO 2013: 95-109
• 
  Vincenzo Ciancia:
  Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. CALCO 2013: 110-125
• 
  Mihai Codescu, Till Mossakowski, Christian Maeder:
  Checking Conservativity with Hets. CALCO 2013: 315-321
• 
  Sebastian Enqvist:
  Homomorphisms of Coalgebras from Predicate Liftings. CALCO 2013: 126-140
• 
  Muhammad Fadlisyah, Peter Csaba Ölveczky:
  The HI-Maude Tool. CALCO 2013: 322-327
• 
  Robert Furber, Bart Jacobs:
  From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. CALCO 2013: 141-157
• 
  Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto:
  Constructor-Based Inductive Theorem Prover. CALCO 2013: 328-333
• 
  Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg:
  Positive Inductive-Recursive Definitions. CALCO 2013: 19-33
• 
  Sergey Goncharov:
  Trace Semantics via Generic Observations. CALCO 2013: 158-174
• 
  Daniel Gorín, Lutz Schröder:
  Simulations and Bisimulations for Coalgebraic Modal Logics. CALCO 2013: 253-266
• 
  Tom Hirschowitz:
  Full Abstraction for Fair Testing in CCS. CALCO 2013: 175-190
• 
  Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
  A Timed CTL Model Checker for Real-Time Maude. CALCO 2013: 334-339
• 
  Pierre Lescanne:
  A Simple Case of Rationality of Escalation. CALCO 2013: 191-204
• 
  Daniel Marsden:
  Coalgebras with Symmetries and Modelling Quantum Systems. CALCO 2013: 205-219
• 
  Yoshihiro Maruyama:
  From Operational Chu Duality to Coalgebraic Quantum Symmetry. CALCO 2013: 220-235
• 
  Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
  Hybridisation at Work. CALCO 2013: 340-345
• 
  Damien Pous:
  Coalgebraic Up-to Techniques. CALCO 2013: 34-35
• 
  Lutz Schröder:
  Preface to CALCO-Tools. CALCO 2013: 314
• 
  Alexandra Silva, Bram Westerbaan:
  A Coalgebraic View of ε-Transitions. CALCO 2013: 267-281
• 
  Pawel Sobocinski:
  Nets, Relations and Linking Diagrams. CALCO 2013: 282-298
• 
  Pawel Sobocinski, Owen Stephens:
  Penrose: Putting Compositionality to Work for Petri Net Reachability. CALCO 2013: 346-352
• 
  Ionut Tutu, José Luiz Fiadeiro:
  A Logic-Programming Semantics of Services. CALCO 2013: 299-313
• 
  Joost Winter:
  QStream: A Suite of Streams. CALCO 2013: 353-358

skipping 1 more match