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

• 1995
• 
  Reza Akhtar, Alistair H. Lachlan:
  On countable homogeneous 3-hypergraphs. Arch. Math. Log. 34(5): 331-344 (1995)
• 
  Samuel R. Buss:
  Some remarks on lengths of propositional proofs. Arch. Math. Log. 34(6): 377-394 (1995)
• 
  Ambar Chowdhury:
  A note on trivial nonmultidimensional superstable theories. Arch. Math. Log. 34(1): 21-31 (1995)
• 
  S. Barry Cooper, Xiaoding Yi:
  The discontinuity of splitting in the recursively enumerable degrees. Arch. Math. Log. 34(4): 247-256 (1995)
• 
  Eric Duquesne, Jacques Van de Wiele:
  Proof nets of PN as graphs. Arch. Math. Log. 34(1): 1-20 (1995)
• 
  Bradd Hart, Anand Pillay, Sergei Starchenko:
  1-based theories - the main gap fora-models. Arch. Math. Log. 34(5): 285-300 (1995)
• 
  Kitty L. Holland:
  An introduction to fusion of strongly minimal sets: The geometry of fusions. Arch. Math. Log. 34(6): 395-413 (1995)
• 
  Gerhard Jäger, Thomas Strahm:
  Second order theories with ordinals and elementary comprehension. Arch. Math. Log. 34(6): 345-375 (1995)
• 
  Ying Jiang:
  Consistency of a λ-theory withn-tuples and easy term. Arch. Math. Log. 34(2): 79-96 (1995)
• 
  Haim Judah, Otmar Spinas:
  On the structure of Δ₁⁴-sets of reals. Arch. Math. Log. 34(5): 301-312 (1995)
• 
  Marc Jumelet:
  Euler'sϕ-function in the context of IΔ₀. Arch. Math. Log. 34(3): 197-209 (1995)
• 
  Ulrich Kohlenbach:
  A note on theΠ₂⁰-induction rule. Arch. Math. Log. 34(4): 279-283 (1995)
• 
  Menachem Kojman:
  A proof of Shelah's partition theorem. Arch. Math. Log. 34(4): 263-268 (1995)
• 
  Salma Kuhlmann:
  On the structure of nonarchimedean exponential fields I. Arch. Math. Log. 34(3): 145-182 (1995)
• 
  Juan Carlos Martínez:
  On uncountable cardinal sequences for superatomic Boolean algebras. Arch. Math. Log. 34(4): 257-261 (1995)
• 
  Karim Nour:
  Strong storage operators and data types. Arch. Math. Log. 34(1): 65-78 (1995)
• 
  Yves Péraire:
  Some extensions of the principles of idealization transfer and choice in the relative internal set theory. Arch. Math. Log. 34(4): 269-277 (1995)
• 
  Andreas Schlüter:
  A theory of rules for enumerated classes of functions. Arch. Math. Log. 34(1): 47-63 (1995)
• 
  James D. Sharp, Simon Thomas:
  Unbounded families and the cofinality of the infinite symmetric group. Arch. Math. Log. 34(1): 33-45 (1995)
• 
  Inger Sigstam:
  Formal spaces and their effective presentations. Arch. Math. Log. 34(4): 211-246 (1995)
• 
  Robert F. Stärk:
  First-order theories for pure Prolog programs with negation. Arch. Math. Log. 34(2): 113-144 (1995)
• 
  Stephan Wehner:
  On injective enumerability of recursively enumerable classes of cofinite sets. Arch. Math. Log. 34(3): 183-196 (1995)
• 
  Andreas Weiermann:
  Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones. Arch. Math. Log. 34(5): 313-330 (1995)
• 
  Yue Yang:
  Iterated trees and fragments of arithmetic. Arch. Math. Log. 34(2): 97-112 (1995)