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

• 2014
• 
  Francis Adams, Douglas Cenzer:
  Computability and Categoricity of Ultrahomogeneous Structures. CiE 2014: 1-10
• 
  Cristina Bazgan, Morgan Chopin, André Nichterlein, Florian Sikora:
  Parameterized Inapproximability of Target Set Selection and Generalizations. CiE 2014: 11-20
• 
  Leonor Becerra-Bonache:
  How can Grammatical Inference Contribute to Computational Linguistics? CiE 2014: 21-31
• 
  Marco Benini, Federico Gobbo:
  Algorithms and Their Explanations. CiE 2014: 32-41
• 
  Stefano Beretta, Riccardo Dondi:
  Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability. CiE 2014: 42-52
• 
  Ulrich Berger, Tie Hou:
  Uniform Schemata for Proof Rules. CiE 2014: 53-62
• 
  Robert Brijder, Hendrik Jan Hoogeboom:
  Graph Polynomials Motivated by Gene Rearrangements in Ciliates. CiE 2014: 63-72
• 
  Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
  On the Equivalence of Automata for KAT-expressions. CiE 2014: 73-83
• 
  Merlin Carl:
  Algorithmic Randomness for Infinite Time Register Machines. CiE 2014: 84-92
• 
  Henning Christiansen:
  Constraint Logic Programming for Resolution of Relative Time Expressions. CiE 2014: 93-102
• 
  Zoltán Erno Csajbók, Tamás Mihálydeák:
  Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries. CiE 2014: 103-112
• 
  Marek Czarnecki, Michal Tomasz Godziszewski, Dariusz Kalocinski:
  Learnability Thesis Does Not Entail Church's Thesis. CiE 2014: 113-122
• 
  Nachum Dershowitz, Evgenia Falkovich:
  Generic Parallel Algorithms. CiE 2014: 133-142
• 
  Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad:
  Isomorphisms of Non-Standard Fields and Ash's Conjecture. CiE 2014: 143-152
• 
  Gordana Dodig-Crnkovic:
  Modeling Life as Cognitive Info-computation. CiE 2014: 153-162
• 
  Alessandro Facchini, Henryk Michalewski:
  Deciding the Borel Complexity of Regular Tree Languages. CiE 2014: 163-172
• 
  Harold Fellermann, Natalio Krasnogor:
  Chemical Production and Molecular Computing in Addressable Reaction Compartments. CiE 2014: 173-182
• 
  Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud:
  Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. CiE 2014: 183-193
• 
  Enrico Formenti, Luca Manzoni, Antonio E. Porreca:
  Fixed Points and Attractors of Reaction Systems. CiE 2014: 194-203
• 
  Cristian Gratie, Ion Petre:
  Fit-Preserving Data Refinement of Mass-Action Reaction Networks. CiE 2014: 204-213
• 
  Charles M. Harris:
  On Maximal Block Functions of Computable η-like Linear Orderings. CiE 2014: 214-223
• 
  Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer:
  Lossiness of Communication Channels Modeled by Transducers. CiE 2014: 224-233
• 
  Christos A. Kapoutsis:
  Predicate Characterizations in the Polynomial-Size Hierarchy. CiE 2014: 234-244
• 
  Akitoshi Kawamura, Arno Pauly:
  Function Spaces for Second-Order Polynomial Time. CiE 2014: 245-254
• 
  Martin Kutrib:
  Complexity of Operation Problems. CiE 2014: 255-264
• 
  Katalin Anna Lázár:
  A Computational Model of XACML-Based Access Control Management in Distributed Networks. CiE 2014: 265-274
• 
  Jacqueline Léon:
  Early Machine Translation - Integration and Transfers between Computing and the Language Sciences. CiE 2014: 275-282
• 
  Jack H. Lutz, Neil Lutz:
  Lines Missing Every Random Point. CiE 2014: 283-292
• 
  Simon McGregor:
  Natural Descriptions and Anthropic Bias: Extant Problems In Solomonoff Induction. CiE 2014: 293-302
• 
  Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi:
  An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations. CiE 2014: 303-313

skipping 13 more matches