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

• 2004
• 
  Furio Honsell, Marina Lenisa, Marino Miculan:
  Proceedings of the Workshop of the COMETA Project on Computational Metamodels, COMETA 2003, Udine, Italy, December 15-17, 2003. Electronic Notes in Theoretical Computer Science 104, Elsevier 2004 [contents]
• 2003
• 
  Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König:
  Verifying a Behavioural Logic for Graph Transformation Systems. COMETA 2003: 5-24
• 
  Franco Barbanera, Ugo de'Liguoro:
  Type Assignement for Mobile Objects. COMETA 2003: 25-38
• 
  Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
  Flat Committed Join in Join. COMETA 2003: 39-59
• 
  Daniela Cancila, Furio Honsell, Marina Lenisa:
  Properties of Set Functors. COMETA 2003: 61-80
• 
  Alessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters:
  Timing in the Cospan-Span Model. COMETA 2003: 81-97
• 
  Alberto Ciaffaglione, Ivan Scagnetto:
  Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax. COMETA 2003: 99-112
• 
  Fabio Gadducci, Marino Miculan, Ugo Montanari:
  Some Characterization Results for Permutation Algebras. COMETA 2003: 129-147
• 
  Giorgio Germano, Stefano Mazzanti:
  Peano Structures and the Semantics of Iteration. COMETA 2003: 149-162
• 
  Pietro Di Gianantonio, Pier Luca Lanzi:
  Lazy Algorithms for Exact Real Arithmetic. COMETA 2003: 113-128
• 
  Furio Honsell, Marina Lenisa, Marino Miculan:
  Preface. COMETA 2003: 1-3
• 
  Furio Honsell, Marina Lenisa, Rekha Redamalla:
  Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language. COMETA 2003: 163-180
• 
  Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
  Compositional Minimization in Span(Graph): Some Examples. COMETA 2003: 181-197
• 
  Ivan Lanese, Ugo Montanari:
  A Graphical Fusion Calculus. COMETA 2003: 199-215
• 
  Ines Margaria, Maddalena Zacchi:
  A Filter Model for Safe Ambients. COMETA 2003: 217-234
• 
  Luca Paolini, Simona Ronchi Della Rocca:
  Lazy Logical Semantics. COMETA 2003: 235-251