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

• 1998
• 
  Jeremy Avigad:
  Predicative Functionals and an Interpretation of ID_<omega. Ann. Pure Appl. Log. 92(1): 1-34 (1998)
• 
  Imme Pieter van den Berg:
  On the Relation between Elementary Partial Difference Equations and Partial Differential Equations. Ann. Pure Appl. Log. 92(3): 235-265 (1998)
• 
  Bruno Courcelle, Igor Walukiewicz:
  Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems. Ann. Pure Appl. Log. 92(1): 35-62 (1998)
• 
  Daniel W. Cunningham:
  Is There a Set of Reals Not in K(R)? Ann. Pure Appl. Log. 92(2): 161-210 (1998)
• 
  Tim Fernando:
  In Conjunction with Qualitative Probability. Ann. Pure Appl. Log. 92(3): 217-234 (1998)
• 
  Marco Forti, Furio Honsell:
  Addendum and Corrigendum: Choice Principles in Hyperuniverses. Ann. Pure Appl. Log. 92(2): 211-214 (1998)
• 
  Greg Hjorth, Alexander S. Kechris, Alain Louveau:
  Borel Equivalence Relations Induced by Actions of the Symmetric Group. Ann. Pure Appl. Log. 92(1): 63-112 (1998)
• 
  Menachem Kojman:
  Exact Upper Bounds and Their Uses in Set Theory. Ann. Pure Appl. Log. 92(3): 267-282 (1998)
• 
  Johann A. Makowsky, Y. B. Pnueli:
  Erratum to "Arity and Alternation in Second-Order Logic". Ann. Pure Appl. Log. 92(2): 215 (1998)
• 
  Anton Setzer:
  Well-Ordering, Proofs for Martin-Löf Type Theory. Ann. Pure Appl. Log. 92(2): 113-159 (1998)
• 
  Boban Velickovic, W. Hugh Woodin:
  Complexity of Reals in Inner Models of Set Theory. Ann. Pure Appl. Log. 92(3): 283-295 (1998)