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

• 2015
• 
  Sergiu Ivanov, Sergey Verlan:
  Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. MCU 2015: 79-93
• 
  Erzsébet Csuhaj-Varjú, Rudolf Freund, György Vaszil:
  A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems. MCU 2015: 31-44
• 
  Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe:
  Tight Bounds for Cut-Operations on Deterministic Finite Automata. MCU 2015: 45-60
• 
  Henning Fernau, Rudolf Freund, Rani Siromoney, K. G. Subramanian:
  Non-isometric Contextual Array Grammars with Regular Control and Local Selectors. MCU 2015: 61-78
• 
  Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers:
  The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems. MCU 2015: 149-163
• 
  Timo Jolivet, Anne Siegel:
  Decidability Problems for Self-induced Systems Generated by a Substitution. MCU 2015: 3-16
• 
  Martin Kutrib, Andreas Malcher, Matthias Wendlandt:
  Tinput-Driven Pushdown Automata. MCU 2015: 94-112
• 
  Martin Kutrib, Matthias Wendlandt:
  Reversible Limited Automata. MCU 2015: 113-128
• 
  Simon Martiel, Bruno Martin:
  An Intrinsically Universal Family of Causal Graph Dynamics. MCU 2015: 129-148
• 
  Benedek Nagy, Sándor Vályi:
  A Characterization of NP Within Interval-Valued Computing. MCU 2015: 164-179
• 
  Mike Stannett:
  Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. MCU 2015: 17-27
• 
  Dmitry A. Zaitsev:
  Universality in Infinite Petri Nets. MCU 2015: 180-197
• 
  Jérôme Durand-Lose, Benedek Nagy:
  Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. Lecture Notes in Computer Science 9288, Springer 2015, ISBN 978-3-319-23110-5 [contents]