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

• 2008
• 
  Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra:
  Gödel algebras free over finite distributive lattices. Ann. Pure Appl. Log. 155(3): 183-193 (2008)
• 
  Paul Brodhead, Angsheng Li, Weilin Li:
  Continuity of capping in C_bT. Ann. Pure Appl. Log. 155(1): 1-15 (2008)
• 
  Steven Buechler:
  Vaught's conjecture for superstable theories of finite rank. Ann. Pure Appl. Log. 155(3): 135-172 (2008)
• 
  Ernst-Erich Doberkat:
  Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence. Ann. Pure Appl. Log. 155(1): 46-68 (2008)
• 
  Paolo Di Giamberardino, Claudia Faggian:
  Proof nets sequentialisation in multiplicative linear logic. Ann. Pure Appl. Log. 155(3): 173-182 (2008)
• 
  Byunghan Kim, Alexei S. Kolesnikov, Akito Tsuboi:
  Generalized amalgamation and n-simplicity. Ann. Pure Appl. Log. 155(2): 97-114 (2008)
• 
  Jessica Millar, Gerald E. Sacks:
  Atomic models higher up. Ann. Pure Appl. Log. 155(3): 225-241 (2008)
• 
  Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini:
  Synthetic domain theory and models of linear Abadi & Plotkin logic. Ann. Pure Appl. Log. 155(2): 115-133 (2008)
• 
  Ran Raz, Iddo Tzameret:
  Resolution over linear equations and multilinear proofs. Ann. Pure Appl. Log. 155(3): 194-224 (2008)
• 
  Vladimir V. Rybakov:
  Linear temporal logic with until and next, logical consecutions. Ann. Pure Appl. Log. 155(1): 32-45 (2008)
• 
  Saharon Shelah, Alexander Usvyatsov:
  More on SOP₁ and SOP₂. Ann. Pure Appl. Log. 155(1): 16-31 (2008)
• 
  Katarzyna Slomczynska:
  Free equivalential algebras. Ann. Pure Appl. Log. 155(2): 86-96 (2008)
• 
  Andrea Sorbi, Sebastiaan Terwijn:
  Intermediate logics and factors of the Medvedev lattice. Ann. Pure Appl. Log. 155(2): 69-85 (2008)