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

• 2013
• 
  María Alpuente, Santiago Escobar, Javier Espert:
  Detecting Modular ACU Structural Symmetries. UNIF@RTA/TLCA 2013: 3-7
• 
  Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
  Hybrid Unification in the Description Logic EL. UNIF@RTA/TLCA 2013: 8-12
• 
  Alexander Baumgartner, Temur Kutsia:
  Unranked Anti-Unification with Hedge and Context Variables. UNIF@RTA/TLCA 2013: 13-21
• 
  Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran:
  Unication Problems Modulo a Theory of Until. UNIF@RTA/TLCA 2013: 22-29
• 
  Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen:
  Hierarchical Combination of Unication Algorithms (Extended Abstract). UNIF@RTA/TLCA 2013: 30-34
• 
  Santiago Escobar:
  Unification and Anti-unification modulo Equational Theories. UNIF@RTA/TLCA 2013: 1
• 
  Temur Kutsia:
  Anti-Unification: Algorithms and Applications. UNIF@RTA/TLCA 2013: 2
• 
  Tatyana A. Novikova, Vladimir A. Zakharov:
  Is it possible to unify sequential programs? UNIF@RTA/TLCA 2013: 35-45
• 
  Konstantin Korovin, Barbara Morawska:
  27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. EPiC Series in Computing 19, EasyChair 2013 [contents]