• 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

• 2023
• 
  Pablo Arrighi, Amélia Durbec, Pierre Guillon:
  Graph Subshifts. CiE 2023: 261-274
• 
  Alexey Barsukov, Florent R. Madelaine:
  On Guarded Extensions of MMSNP. CiE 2023: 202-213
• 
  Vasco Brattka:
  On the Complexity of Learning Programs. CiE 2023: 166-177
• 
  Gabriele Buriola, Peter Schuster, Ingo Blechschmidt:
  A Constructive Picture of Noetherian Conditions and Well Quasi-orders. CiE 2023: 50-62
• 
  Merlin Carl:
  All Melodies Are Lost - Recognizability for Weak and Strong α-Register Machines. CiE 2023: 77-88
• 
  Vittorio Cipriani, Arno Pauly:
  The Complexity of Finding Supergraphs. CiE 2023: 178-189
• 
  Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe:
  Symmetry for Transfinite Computability. CiE 2023: 65-76
• 
  Ivan Georgiev:
  Subrecursive Graphs of Representations of Irrational Numbers. CiE 2023: 154-165
• 
  Keita Hiroshima, Akitoshi Kawamura:
  Elementarily Traceable Irrational Numbers. CiE 2023: 135-140
• 
  Takayuki Kihara, Arno Pauly:
  De Groot Duality for Represented Spaces. CiE 2023: 89-101
• 
  Russell G. Miller:
  Direct Construction of Scott Ideals. CiE 2023: 23-34
• 
  Alexey Milovanov:
  Some Games on Turing Machines and Power from Random Strings. CiE 2023: 105-119
• 
  Daniil Musatov, Georgii Potapov:
  Structural Complexity of Rational Interactive Proofs. CiE 2023: 231-245
• 
  Zeev Nutov:
  An $O(\sqrt{k})$-Approximation Algorithm for Minimum Power k Edge Disjoint st-Paths. CiE 2023: 287-296
• 
  Vladislav Orekhovskii, Victor L. Selivanov:
  Logic vs Topology on Regular ømega-languages. CiE 2023: 141-153
• 
  Pawel Parys, Aleksander Wiacek:
  Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games. CiE 2023: 275-286
• 
  Pacôme Perrotin, Sylvain Sené:
  Turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics. CiE 2023: 214-228
• 
  Suthee Ruangwises:
  Physical Zero-Knowledge Proof for Ball Sort Puzzle. CiE 2023: 246-257
• 
  Sam Sanders:
  The Non-normal Abyss in Kleene's Computability Theory. CiE 2023: 37-49
• 
  Victor L. Selivanov:
  Extending Wagner's Hierarchy to Deterministic Visibly Pushdown Automata. CiE 2023: 190-201
• 
  Alexander Shen:
  Inequalities for Entropies and Dimensions. CiE 2023: 120-131
• 
  Mariya Ivanova Soskova:
  The Relationship Between Local and Global Structure in the Enumeration Degrees. CiE 2023: 17-22
• 
  Hong Hanh Tran, Guohua Wu:
  Cupping Computably Enumerable Degrees Simultaneously. CiE 2023: 3-16
• 
  Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea:
  Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings. Lecture Notes in Computer Science 13967, Springer 2023, ISBN 978-3-031-36977-3 [contents]