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

• 2007
• 
  Samy Abbes:
  A projective formalism applied to topological and probabilistic event structures. Math. Struct. Comput. Sci. 17(4): 819-837 (2007)
• 
  Francis Bailly, Giuseppe Longo:
  Randomness and determinism in the interplay between the continuum and the discrete. Math. Struct. Comput. Sci. 17(2): 289-305 (2007)
• 
  Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
  A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. 17(3): 363-406 (2007)
• 
  Yves Bertot:
  Affine functions and series with co-inductive real numbers. Math. Struct. Comput. Sci. 17(1): 37-63 (2007)
• 
  J. Robin B. Cockett, Stephen Lack:
  Restriction categories III: colimits, partial limits and extensivity. Math. Struct. Comput. Sci. 17(4): 775-817 (2007)
• 
  Martín Hötzel Escardó, Achim Jung, Thomas Streicher:
  Preface. Math. Struct. Comput. Sci. 17(5): 839-839 (2007)
• 
  Sonia Fagorzi, Elena Zucca:
  A calculus of open modules: call-by-need strategy and confluence. Math. Struct. Comput. Sci. 17(4): 675-751 (2007)
• 
  Maribel Fernández, Ian Mackie:
  More developments in computational models: introduction. Math. Struct. Comput. Sci. 17(4): 585-586 (2007)
• 
  José Luiz Fiadeiro, Antónia Lopes:
  An algebraic semantics of event-based architectures. Math. Struct. Comput. Sci. 17(5): 1029-1073 (2007)
• 
  Carsten Führmann, David J. Pym:
  On categorical models of classical logic and the Geometry of Interaction. Math. Struct. Comput. Sci. 17(5): 957-1027 (2007)
• 
  Fabio Gadducci:
  Graph rewriting for the pi-calculus. Math. Struct. Comput. Sci. 17(3): 407-437 (2007)
• 
  Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
  Boxed ambients with communication interfaces. Math. Struct. Comput. Sci. 17(4): 587-645 (2007)
• 
  Bertrand Georgeot:
  Complexity of chaos and quantum computation. Math. Struct. Comput. Sci. 17(6): 1221-1263 (2007)
• 
  Herman Geuvers, Iris Loeb:
  Natural deduction via graphs: formal definition and computation rules. Math. Struct. Comput. Sci. 17(3): 485-526 (2007)
• 
  Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk:
  Constructive analysis, types and exact real numbers. Math. Struct. Comput. Sci. 17(1): 3-36 (2007)
• 
  Joseph Gil, Yoav Zibin:
  Randomised algorithms for isomorphisms of simple types. Math. Struct. Comput. Sci. 17(3): 565-584 (2007)
• 
  Jean-Yves Girard:
  Truth, modality and intersubjectivity. Math. Struct. Comput. Sci. 17(6): 1153-1167 (2007)
• 
  Clemens Grabmayer:
  A duality between proof systems for cyclic term graphs. Math. Struct. Comput. Sci. 17(3): 439-484 (2007)
• 
  Furio Honsell, Marina Lenisa, Rekha Redamalla:
  Coalgebraic description of generalised binary methods. Math. Struct. Comput. Sci. 17(4): 647-673 (2007)
• 
  Mathieu Hoyrup:
  Dynamical systems: stability and simulability. Math. Struct. Comput. Sci. 17(2): 247-259 (2007)
• 
  Viv Kendon:
  Decoherence in quantum walks - a review. Math. Struct. Comput. Sci. 17(6): 1169-1220 (2007)
• 
  Hubert Krivine, Annick Lesne, Jacques Treiner:
  Discrete-time and continuous-time modelling: some bridges and gaps. Math. Struct. Comput. Sci. 17(2): 261-276 (2007)
• 
  Branimir Lambov:
  RealLib: An efficient implementation of exact real arithmetic. Math. Struct. Comput. Sci. 17(1): 81-98 (2007)
• 
  Annick Lesne:
  The discrete versus continuous controversy in physics. Math. Struct. Comput. Sci. 17(2): 185-223 (2007)
• 
  John Longley:
  On the ubiquity of certain total type structures. Math. Struct. Comput. Sci. 17(5): 841-953 (2007)
• 
  Jean-Gabriel Luque, Jean-Yves Thibon, Frédéric Toumazet:
  Unitary invariants of qubit systems. Math. Struct. Comput. Sci. 17(6): 1133-1151 (2007)
• 
  Ian Mackie, Detlef Plump:
  Theory and applications of term graph rewriting: introduction. Math. Struct. Comput. Sci. 17(3): 361-362 (2007)
• 
  Javier Madroñero, Laurent Hilico, Benoît Grémaud, Dominique Delande, Andreas Buchleitner:
  The driven three body Coulomb problem. Math. Struct. Comput. Sci. 17(2): 225-246 (2007)
• 
  Assia Mahboubi:
  Implementing the cylindrical algebraic decomposition within the Coq system. Math. Struct. Comput. Sci. 17(1): 99-127 (2007)
• 
  Florin Manea, Carlos Martín-Vide, Victor Mitrana:
  On the size complexity of universal accepting hybrid networks of evolutionary processors. Math. Struct. Comput. Sci. 17(4): 753-771 (2007)

skipping 12 more matches