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

• 1993
• 
  John T. Baldwin:
  Preface: A Selection of Papers Presented at the "Stability in Model Theory III" Conference. Ann. Pure Appl. Log. 62(2): 81 (1993)
• 
  Kosta Dosen:
  Rudimentary Kripke Models for the Intuitionistic Propositional Calculus. Ann. Pure Appl. Log. 62(1): 21-49 (1993)
• 
  David M. Evans, Ehud Hrushovski:
  On the Automorphism Groups of Finite Covers. Ann. Pure Appl. Log. 62(2): 83-112 (1993)
• 
  Harvey Friedman, Stephen G. Simpson, Xiaokang Yu:
  Periodic Points and Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Log. 62(1): 51-64 (1993)
• 
  A. D. Greif, Michael C. Laskowski:
  An Omitting Types Theorem for Saturated Structures. Ann. Pure Appl. Log. 62(2): 113-118 (1993)
• 
  Bradd Hart, Anand Pillay, Sergei Starchenko:
  Triviality, NDOP and Stable Varieties. Ann. Pure Appl. Log. 62(2): 119-146 (1993)
• 
  Ehud Hrushovski:
  A New Strongly Minimal Set. Ann. Pure Appl. Log. 62(2): 147-166 (1993)
• 
  D. Kaddah:
  Infima in the d.r.e. Degrees. Ann. Pure Appl. Log. 62(3): 207-263 (1993)
• 
  Annalisa Marcja, Mike Prest, Carlo Toffalori:
  On the Undecidability of Some Classes of Abelian-by-Finite Groups. Ann. Pure Appl. Log. 62(2): 167-173 (1993)
• 
  Grigori Mints:
  A Normal Form for Logical Derivations Implying One for Arithmetic Derivations. Ann. Pure Appl. Log. 62(1): 65-79 (1993)
• 
  Anand Pillay, Philipp Rothmaler:
  Unidimensional Modules: Uniqueness of Maximal Non-Modular Submodels. Ann. Pure Appl. Log. 62(2): 175-181 (1993)
• 
  Mike Prest:
  Remarks on Elementary Duality. Ann. Pure Appl. Log. 62(2): 183-205 (1993)
• 
  Ernst-Jochen Thiele:
  Preface: A selection of papers presented at the Logic Colloquium '89. Ann. Pure Appl. Log. 62(1): 19 (1993)
• 
  Jacqueline Vauzeilles:
  Cut Elimination for the Unified Logic. Ann. Pure Appl. Log. 62(1): 1-16 (1993)
• 
  Alexander Yakhnis, Vladimir Yakhnis:
  Gurevich-Harrington's Games Defined by Finite Automata. Ann. Pure Appl. Log. 62(3): 265-294 (1993)