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

• 2011
• 
  Bahar Aameri, Michael Winter:
  A First-Order Calculus for Allegories. RAMiCS 2011: 74-91
• 
  Rudolf Berghammer:
  Relational Modelling and Solution of Chessboard Problems. RAMiCS 2011: 92-108
• 
  Rudolf Berghammer:
  A Functional, Successor List Based Version of Warshall's Algorithm with Applications. RAMiCS 2011: 109-124
• 
  Felix Brandt:
  From Arrow's Impossibility to Schwartz's Tournament Equilibrium Set - (Invited Tutorial). RAMiCS 2011: 50-51
• 
  Han-Hing Dang, Peter Höfner:
  Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. RAMiCS 2011: 125-140
• 
  Ivo Düntsch, Ewa Orlowska:
  An Algebraic Approach to Preference Relations. RAMiCS 2011: 141-147
• 
  Simon Foster, Georg Struth, Tjark Weber:
  Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). RAMiCS 2011: 52-67
• 
  Hitoshi Furusawa, Koki Nishizawa:
  Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings. RAMiCS 2011: 148-163
• 
  Roland Glück:
  Using Bisimulations for Optimality Problems in Model Refinement. RAMiCS 2011: 164-179
• 
  Alexander J. T. Gurney, Timothy G. Griffin:
  Pathfinding through Congruences. RAMiCS 2011: 180-195
• 
  Walter Guttmann:
  Towards a Typed Omega Algebra. RAMiCS 2011: 196-211
• 
  Peter Höfner, Annabelle McIver:
  Towards an Algebra of Routing Tables. RAMiCS 2011: 212-229
• 
  Wolfram Kahl:
  Dependently-Typed Formalisation of Relation-Algebraic Abstractions. RAMiCS 2011: 230-247
• 
  Michael R. Laurence, Georg Struth:
  Omega Algebras and Regular Equations. RAMiCS 2011: 248-263
• 
  Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
  On Probabilistic Kleene Algebras, Automata and Simulations. RAMiCS 2011: 264-279
• 
  Gerard Michels, Sebastiaan J. C. Joosten, Jaap van der Woude, Stef Joosten:
  Ampersand - Applying Relation Algebra in Practice. RAMiCS 2011: 280-293
• 
  Bernhard Möller:
  Building Structured Theories - (Invited Paper). RAMiCS 2011: 1-21
• 
  Shin-Cheng Mu, José Nuno Oliveira:
  Programming from Galois Connections. RAMiCS 2011: 294-313
• 
  Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch:
  Social Networks: Prestige, Centrality, and Influence - (Invited Paper). RAMiCS 2011: 22-39
• 
  Donald G. Saari:
  Explaining Voting Paradoxes; Including Arrow's and Sen's Theorems - (Invited Tutorial). RAMiCS 2011: 68-69
• 
  Renate A. Schmidt:
  Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper). RAMiCS 2011: 40-49
• 
  Gunther Schmidt:
  Constructions around Partialities. RAMiCS 2011: 314-330
• 
  Prathap Siddavaatam, Michael Winter:
  Splitting Atoms in Relational Algebras. RAMiCS 2011: 331-346
• 
  Michael Winter:
  Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial). RAMiCS 2011: 70-73
• 
  Jaap van der Woude, Stef Joosten:
  Relational Heterogeneity Relaxed by Subtyping. RAMiCS 2011: 347-361
• 
  Harrie C. M. de Swart:
  Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings. Lecture Notes in Computer Science 6663, Springer 2011, ISBN 978-3-642-21069-3 [contents]