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

• 2023
• 
  Stefano Aguzzoli, Matteo Bianchi:
  Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components. RAMiCS 2023: 1-16
• 
  Jeremy F. Alm, David Andrews, Michael Levet:
  Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture. RAMiCS 2023: 17-33
• 
  Rudolf Berghammer, Michael Winter:
  A General Method for Representing Sets of Relations by Vectors. RAMiCS 2023: 34-51
• 
  Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes:
  Contextuality in Distributed Systems. RAMiCS 2023: 52-68
• 
  José Gil-Férez, Peter Jipsen, Siddhartha Lodhia:
  The Structure of Locally Integral Involutive Po-monoids and Semirings. RAMiCS 2023: 69-86
• 
  Roland Glück:
  Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients. RAMiCS 2023: 87-104
• 
  Walter Guttmann:
  Dependences Between Domain Constructions in Heterogeneous Relation Algebras. RAMiCS 2023: 105-121
• 
  Chris Heunen, Jesse Sigal:
  Duoidally Enriched Freyd Categories. RAMiCS 2023: 241-257
• 
  Mark Hopkins, Hans Leiß:
  Normal Forms for Elements of the ^*-continuous Kleene Algebras $K\mathop {\otimes _\mathcal{R}}C_2'$. RAMiCS 2023: 122-139
• 
  Peter Jipsen, Jas Semrl:
  Representable and Diagonally Representable Weakening Relation Algebras. RAMiCS 2023: 140-157
• 
  Tobias Kappé:
  Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. RAMiCS 2023: 158-175
• 
  Laura Kovács, Anton Varonka:
  What Else is Undecidable About Loops? RAMiCS 2023: 176-193
• 
  Andrew Lewis-Smith, Jas Semrl:
  Implication Algebras and Implication Semigroups of Binary Relations. RAMiCS 2023: 194-207
• 
  Igor Sedlár:
  On the Complexity of Kleene Algebra with Domain. RAMiCS 2023: 208-223
• 
  Arman Shamsgovara:
  Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements. RAMiCS 2023: 224-240
• 
  Baltasar Trancón y Widemann, Markus Lepper:
  Towards a Theory of Conversion Relations for Prefixed Units of Measure. RAMiCS 2023: 258-273
• 
  Michael Winter:
  Relational Algebraic Approach to the Real Numbers the Additive Group. RAMiCS 2023: 274-292
• 
  Roland Glück, Luigi Santocanale, Michael Winter:
  Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings. Lecture Notes in Computer Science 13896, Springer 2023, ISBN 978-3-031-28082-5 [contents]