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

• 2017
• 
  Francis Adams, Douglas Cenzer:
  Computability and categoricity of weakly ultrahomogeneous structures. Comput. 6(4): 365-389 (2017)
• 
  Manindra Agrawal, Diptarka Chakraborty, Debarati Das, Satyadev Nandakumar:
  Dimension, pseudorandomness and extraction of pseudorandomness. Comput. 6(3): 277-305 (2017)
• 
  Merlin Carl:
  Infinite time recognizability from generic oracles and the recognizable jump operator. Comput. 6(3): 223-247 (2017)
• 
  Peter Cholak, Rachel Epstein:
  Computably enumerable sets that are automorphic to low sets. Comput. 6(1): 23-45 (2017)
• 
  Damir D. Dzhafarov, Gregory Igusa:
  Notions of robust information coding. Comput. 6(2): 105-124 (2017)
• 
  Emanuele Frittaion, Ludovic Patey:
  Coloring the rationals in reverse mathematics. Comput. 6(4): 319-331 (2017)
• 
  Rica Gonen, Anat Lerner:
  Characterizing incentive compatible, Pareto optimal and sufficiently anonymous constrained combinatorial mechanisms - Two players case. Comput. 6(2): 183-208 (2017)
• 
  Martin Huschenbett, Alexander Kartzow, Philipp Schlicht:
  Pumping for ordinal-automatic structures. Comput. 6(2): 125-164 (2017)
• 
  Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer:
  Lossiness of communication channels modeled by transducers. Comput. 6(2): 165-181 (2017)
• 
  Sanjay Jain, Frank Stephan, Jason Teutsch:
  Closed left-r.e. sets. Comput. 6(1): 1-21 (2017)
• 
  Lars Kristiansen:
  On subrecursive representability of irrational numbers. Comput. 6(3): 249-276 (2017)
• 
  Timothy H. McNicholl:
  Computable copies of ℓp. Comput. 6(4): 391-408 (2017)
• 
  Alexei Miasnikov, Paul E. Schupp:
  Computational complexity and the conjugacy problem. Comput. 6(4): 307-318 (2017)
• 
  Arthur Milchior:
  Undecidability of satisfiability of expansions of FO[<] over words with a FO[+]-definable set. Comput. 6(4): 333-363 (2017)
• 
  Ludovic Patey:
  Controlling iterated jumps of solutions to combinatorial problems. Comput. 6(1): 47-78 (2017)
• 
  Ludovic Patey:
  Iterative forcing and hyperimmunity in reverse mathematics. Comput. 6(3): 209-221 (2017)
• 
  Klaus Weihrauch:
  Computability on measurable functions. Comput. 6(1): 79-104 (2017)