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

• 2020
• 
  Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale:
  An Investigation into General Nominal Equational Problems (Work in progress). UNIF 2020: 3:1-3:8
• 
  Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev:
  About the unification type of K+☐☐⊥. UNIF 2020: 4:1-4:6
• 
  Alexander Baumgartner, Daniele Nantes-Sobrinho:
  A, C, and AC Nominal Anti-Unification. UNIF 2020: 5:1-5:6
• 
  David M. Cerna, Alexander Leitsch, Anela Lolic:
  On the Unification of Term Schemata. UNIF 2020: 6:1-6:6
• 
  Stéphanie Delaune:
  Rewriting in Protocol Verification. UNIF 2020: 1:1-1:1
• 
  Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
  Terminating Non-Disjoint Combined Unification (Extended Abstract). UNIF 2020: 7:1-7:6
• 
  Jean-Pierre Jouannaud, Fernando Orejas:
  Unification of Drags. UNIF 2020: 8:1-8:7
• 
  Temur Kutsia, Cleo Pau:
  Proximity-Based Unification with Arity Mismatch. UNIF 2020: 9:1-9:6
• 
  Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek:
  Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). UNIF 2020: 10:1-10:6
• 
  Paliath Narendran, Saumya Arora, Yu Zhang:
  An Improved Algorithm for Testing Whether a Special String Rewriting System is Confluent. UNIF 2020: 11:1-11:6
• 
  Paliath Narendran, Ashley Suchy, Yu Zhang:
  Some Results on Prefix Grammars. UNIF 2020: 12:1-12:6
• 
  Thomas Prokosch, François Bry:
  Unification on the Run. UNIF 2020: 13:1-13:5
• 
  Manfred Schmidt-Schauß:
  Nominal Algorithms: Applications and Extensions. UNIF 2020: 2:1-2:6
• 
  Temur Kutsia, Andrew M. Marshall:
  Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. 2020 [contents]