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

• 2014
• 
  Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg:
  Stochastic Parity Games on Lossy Channel Systems. Log. Methods Comput. Sci. 10(4) (2014)
• 
  Jirí Adámek, Mahdieh Haddadi, Stefan Milius:
  Corecursive Algebras, Corecursive Monads and Bloom Monads. Log. Methods Comput. Sci. 10(3) (2014)
• 
  Danel Ahman, James Chapman, Tarmo Uustalu:
  When is a container a comonad? Log. Methods Comput. Sci. 10(3) (2014)
• 
  Eric Allender, Harry Buhrman, Luke Friedman, Bruno Loff:
  Reductions to the set of random strings: The resource-bounded case. Log. Methods Comput. Sci. 10(3) (2014)
• 
  Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch:
  Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining. Log. Methods Comput. Sci. 10(1) (2014)
• 
  Myrto Arapinis, Stéphanie Delaune, Steve Kremer:
  Dynamic Tags for Security Protocols. Log. Methods Comput. Sci. 10(2) (2014)
• 
  Patrick Bahr:
  Partial Order Infinitary Term Rewriting. Log. Methods Comput. Sci. 10(2) (2014)
• 
  Vince Bárány, Georg Gottlob, Martin Otto:
  Querying the Guarded Fragment. Log. Methods Comput. Sci. 10(2) (2014)
• 
  Everardo Bárcenas, Jesús Lavalle:
  Global Numerical Constraints on Trees. Log. Methods Comput. Sci. 10(2) (2014)
• 
  Andrej Bauer, Matija Pretnar:
  An Effect System for Algebraic Effects and Handlers. Log. Methods Comput. Sci. 10(4) (2014)
• 
  Gianluigi Bellin:
  Categorical Proof Theory of Co-Intuitionistic Linear Logic. Log. Methods Comput. Sci. 10(3) (2014)
• 
  Stefano Berardi, Ugo de'Liguoro:
  Knowledge Spaces and the Completeness of Learning Strategies. Log. Methods Comput. Sci. 10(1) (2014)
• 
  Marco Bernardo, Rocco De Nicola, Michele Loreti:
  Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Log. Methods Comput. Sci. 10(1) (2014)
• 
  Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski:
  Stochastic Timed Automata. Log. Methods Comput. Sci. 10(4) (2014)
• 
  Achim Blumensath, Bruno Courcelle:
  Monadic second-order definable graph orderings. Log. Methods Comput. Sci. 10(1) (2014)
• 
  Achim Blumensath, Martin Otto, Mark Weyer:
  Decidability Results for the Boundedness Problem. Log. Methods Comput. Sci. 10(3) (2014)
• 
  Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
  Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10(4) (2014)
• 
  Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota:
  Automata theory in nominal sets. Log. Methods Comput. Sci. 10(3) (2014)
• 
  Udi Boker, Thomas A. Henzinger:
  Exact and Approximate Determinization of Discounted-Sum Automata. Log. Methods Comput. Sci. 10(1) (2014)
• 
  Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege:
  A Robust Class of Data Languages and an Application to Learning. Log. Methods Comput. Sci. 10(4) (2014)
• 
  Nerio Borges, Blai Bonet:
  Universal First-Order Logic is Superfluous for NL, P, NP and coNP. Log. Methods Comput. Sci. 10(1) (2014)
• 
  Ulrike Brandt, Hermann K.-G. Walter:
  Unsolvability Cores in Classification Problems. Log. Methods Comput. Sci. 10(2) (2014)
• 
  Douglas Suth Bridges:
  Locating Ax, where A is a subspace of B(H). Log. Methods Comput. Sci. 10(2) (2014)
• 
  Konrad Burnik, Zvonko Iljazovic:
  Computability of 1-manifolds. Log. Methods Comput. Sci. 10(2) (2014)
• 
  Sam Buss, Douglas Cenzer, Jeffrey B. Remmel:
  Sub-computable Boundedness Randomness. Log. Methods Comput. Sci. 10(4) (2014)
• 
  Samuel R. Buss, Leszek Aleksander Kolodziejczyk:
  Small Stone in Pool. Log. Methods Comput. Sci. 10(2) (2014)
• 
  Mingzhong Cai, Rodney G. Downey, Rachel Epstein, Steffen Lempp, Joseph S. Miller:
  Random strings and tt-degrees of Turing complete C.E. sets. Log. Methods Comput. Sci. 10(3) (2014)
• 
  Hubie Chen:
  Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction. Log. Methods Comput. Sci. 10(4) (2014)
• 
  René David, Karim Nour:
  About the range property for H. Log. Methods Comput. Sci. 10(1) (2014)
• 
  Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom:
  Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples. Log. Methods Comput. Sci. 10(2) (2014)

skipping 51 more matches