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

• 2011
• 
  Uri Andrews:
  New spectra of strongly minimal theories in finite languages. Ann. Pure Appl. Log. 162(5): 367-372 (2011)
• 
  Toshiyasu Arai:
  Quick cut-elimination for strictly positive cuts. Ann. Pure Appl. Log. 162(10): 807-815 (2011)
• 
  Sergey Babenyshev, Vladimir V. Rybakov:
  Unification in linear temporal logic LTL. Ann. Pure Appl. Log. 162(12): 991-1000 (2011)
• 
  Joan Bagaria, Yiannis N. Moschovakis, Margarita Otero, Ivan N. Soskov:
  Preface. Ann. Pure Appl. Log. 162(7): 489 (2011)
• 
  George Barmpalias, André Nies:
  Upper bounds on ideals in the computably enumerable Turing degrees. Ann. Pure Appl. Log. 162(6): 465-473 (2011)
• 
  Olivia Caramello:
  A characterization theorem for geometric logic. Ann. Pure Appl. Log. 162(4): 318-321 (2011)
• 
  Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel:
  Σ⁰₁ and Π⁰₁ equivalence structures. Ann. Pure Appl. Log. 162(7): 490-503 (2011)
• 
  Barbara F. Csima, Reed Solomon:
  The complexity of central series in nilpotent computable groups. Ann. Pure Appl. Log. 162(8): 667-678 (2011)
• 
  Paola D'Aquino, Angus Macintyre:
  Quadratic forms in models of IΔ₀+Ω₁, Part II: Local equivalence. Ann. Pure Appl. Log. 162(6): 447-456 (2011)
• 
  Longyun Ding:
  Borel reducibility and finitely Hölder(α) embeddability. Ann. Pure Appl. Log. 162(12): 970-980 (2011)
• 
  David M. Evans, Marco S. Ferreira:
  The geometry of Hrushovski constructions, I: The uncollapsed case. Ann. Pure Appl. Log. 162(6): 474-488 (2011)
• 
  Yun Fan, Liang Yu:
  Maximal pairs of c.e. reals in the computably Lipschitz degrees. Ann. Pure Appl. Log. 162(5): 357-366 (2011)
• 
  Vera Fischer, Sy-David Friedman, Lyubomyr Zdomskyy:
  Projective wellorders and mad families with large continuum. Ann. Pure Appl. Log. 162(11): 853-862 (2011)
• 
  Antongiulio Fornasiero:
  Dimensions, matroids, and dense pairs of first-order structures. Ann. Pure Appl. Log. 162(7): 514-543 (2011)
• 
  Gunter Fuchs:
  lambda-structures and s-structures: Translating the models. Ann. Pure Appl. Log. 162(4): 257-317 (2011)
• 
  Gunter Fuchs:
  λ-structures and s-structures: Translating the iteration strategies. Ann. Pure Appl. Log. 162(9): 710-751 (2011)
• 
  Stefan Hetzl, Alexander Leitsch, Daniel Weller:
  CERES in higher-order logic. Ann. Pure Appl. Log. 162(12): 1001-1034 (2011)
• 
  Gerhard Jäger, Dieter Probst:
  The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Ann. Pure Appl. Log. 162(8): 647-660 (2011)
• 
  Emil Jerábek:
  On theories of bounded arithmetic for NC¹. Ann. Pure Appl. Log. 162(4): 322-340 (2011)
• 
  Emil Jerábek:
  A sorting network in bounded arithmetic. Ann. Pure Appl. Log. 162(4): 341-355 (2011)
• 
  Norihiro Kamide, Heinrich Wansing:
  Completeness and cut-elimination theorems for trilattice logics. Ann. Pure Appl. Log. 162(10): 816-835 (2011)
• 
  Byunghan Kim, Hyeung-Joon Kim:
  Notions around tree property 1. Ann. Pure Appl. Log. 162(9): 698-709 (2011)
• 
  Peter Koepke, Philip D. Welch:
  Global square and mutual stationarity at the aleph_n. Ann. Pure Appl. Log. 162(10): 787-806 (2011)
• 
  Leszek Aleksander Kolodziejczyk:
  Independence results for variants of sharply bounded induction. Ann. Pure Appl. Log. 162(12): 981-990 (2011)
• 
  Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Neil Thapen:
  The provably total NP search problems of weak second order bounded arithmetic. Ann. Pure Appl. Log. 162(6): 419-446 (2011)
• 
  Antonín Kucera, André Nies:
  Demuth randomness and computational complexity. Ann. Pure Appl. Log. 162(7): 504-513 (2011)
• 
  Chuck C. Liang, Dale Miller:
  A focused approach to combining logics. Ann. Pure Appl. Log. 162(9): 679-697 (2011)
• 
  Michael J. Lieberman:
  Category-theoretic aspects of abstract elementary classes. Ann. Pure Appl. Log. 162(11): 903-915 (2011)
• 
  Jana Maríková:
  O-minimal residue fields of o-minimal fields. Ann. Pure Appl. Log. 162(6): 457-464 (2011)
• 
  Benjamin D. Miller:
  Dichotomy theorems for countably infinite dimensional analytic hypergraphs. Ann. Pure Appl. Log. 162(7): 561-565 (2011)

skipping 35 more matches