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

• 2009
• 
  Luca Aceto, Anna Ingólfsdóttir:
  Foreword: special issue in memory of Nadia Busi. Math. Struct. Comput. Sci. 19(6): 1061-1063 (2009)
• 
  M. Ali-Akbari, Bijan Honari, Massoud Pourmahdian, M. M. Rezaii:
  The space of formal balls and models of quasi-metric spaces. Math. Struct. Comput. Sci. 19(2): 337-355 (2009)
• 
  Andrea Asperti, Nadia Busi:
  Mobile Petri nets. Math. Struct. Comput. Sci. 19(6): 1265-1278 (2009)
• 
  Andrea Asperti, Herman Geuvers, Raja Natarajan:
  Social processes, program verification and all that. Math. Struct. Comput. Sci. 19(5): 877-896 (2009)
• 
  George Barmpalias, Anthony Morphett:
  Non-cupping, measure and computably enumerable splittings. Math. Struct. Comput. Sci. 19(1): 25-43 (2009)
• 
  Andrej Bauer, Paul Taylor:
  The Dedekind reals in abstract Stone duality. Math. Struct. Comput. Sci. 19(4): 757-838 (2009)
• 
  Benno van den Berg:
  Three extensional models of type theory. Math. Struct. Comput. Sci. 19(2): 417-434 (2009)
• 
  Chantal Berline, Giulio Manzonetto, Antonino Salibra:
  Effective lambda-models versus recursively enumerable lambda-theories. Math. Struct. Comput. Sci. 19(5): 897-942 (2009)
• 
  Daniela Besozzi, Nadia Busi, Paolo Cazzaniga, Claudio Ferretti, Alberto Leporati, Giancarlo Mauri, Dario Pescini, Claudio Zandron:
  (Tissue) P systems with cell polarity. Math. Struct. Comput. Sci. 19(6): 1141-1160 (2009)
• 
  Mario Bravetti, Gianluigi Zavattaro:
  On the expressive power of process interruption and compensation. Math. Struct. Comput. Sci. 19(3): 565-599 (2009)
• 
  Mario Bravetti, Gianluigi Zavattaro:
  A theory of contracts for strong service compliance. Math. Struct. Comput. Sci. 19(3): 601-638 (2009)
• 
  Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio:
  A type system for Discretionary Access Control. Math. Struct. Comput. Sci. 19(4): 839-875 (2009)
• 
  Nadia Busi, Roberto Gorrieri:
  Structural non-interference in elementary and trace nets. Math. Struct. Comput. Sci. 19(6): 1065-1090 (2009)
• 
  Nadia Busi, Miguel Angel Gutiérrez-Naranjo, Mario J. Pérez-Jiménez:
  Efficient computation in rational-valued P systems. Math. Struct. Comput. Sci. 19(6): 1125-1139 (2009)
• 
  Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
  On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. 19(6): 1191-1222 (2009)
• 
  Nadia Busi, G. Michele Pinna:
  Process discovery and Petri nets. Math. Struct. Comput. Sci. 19(6): 1091-1124 (2009)
• 
  Nadia Busi, Gianluigi Zavattaro:
  Deciding reachability problems in Turing-complete fragments of Mobile Ambients. Math. Struct. Comput. Sci. 19(6): 1223-1263 (2009)
• 
  Jin-yi Cai, S. Barry Cooper, Angsheng Li:
  Preface to Special Issue: Theory and Applications of Models of Computation (TAMC). Math. Struct. Comput. Sci. 19(1): 5-7 (2009)
• 
  Cristian S. Calude, Ludwig Staiger:
  On universal computably enumerable prefix codes. Math. Struct. Comput. Sci. 19(1): 45-57 (2009)
• 
  J. Robin B. Cockett, Ernie Manes:
  Boolean and classical restriction categories. Math. Struct. Comput. Sci. 19(2): 357-416 (2009)
• 
  Matthew Collinson, David J. Pym:
  Algebra and logic for resource-based systems modelling. Math. Struct. Comput. Sci. 19(5): 959-1027 (2009)
• 
  Yun Fan:
  The method of the Yu-Ding Theorem and its application. Math. Struct. Comput. Sci. 19(1): 207-215 (2009)
• 
  Giordano Fusco, Eric Bach:
  Phase transition of multivariate polynomial systems. Math. Struct. Comput. Sci. 19(1): 9-23 (2009)
• 
  Richard Garner:
  Two-dimensional models of type theory. Math. Struct. Comput. Sci. 19(4): 687-736 (2009)
• 
  Annegret Habel, Karl-Heinz Pennemann:
  Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2): 245-296 (2009)
• 
  Masahito Hasegawa:
  On traced monoidal closed categories. Math. Struct. Comput. Sci. 19(2): 217-244 (2009)
• 
  Klaus Keimel, Gordon D. Plotkin:
  Predicate transformers for extended probability and non-determinism. Math. Struct. Comput. Sci. 19(3): 501-539 (2009)
• 
  Iordanis Kerenidis:
  Quantum multiparty communication complexity and circuit lower bounds. Math. Struct. Comput. Sci. 19(1): 119-132 (2009)
• 
  Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes:
  Unary automatic graphs: an algorithmic perspective. Math. Struct. Comput. Sci. 19(1): 133-152 (2009)
• 
  Ugo Dal Lago, Andrea Masini, Margherita Zorzi:
  On a measurement-free quantum lambda calculus with classical control. Math. Struct. Comput. Sci. 19(2): 297-335 (2009)

skipping 15 more matches