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

• 2010
• 
  Gonzalo Abal, Raul Donangelo, Franklin L. Marquezino, Renato Portugal:
  Spatial search on a honeycomb network. Math. Struct. Comput. Sci. 20(6): 999-1009 (2010)
• 
  Jirí Adámek, Stefan Milius, Jirí Velebil:
  Iterative reflections of monads. Math. Struct. Comput. Sci. 20(3): 419-452 (2010)
• 
  Manindra Agrawal, S. Barry Cooper, Angsheng Li:
  Preface to Special Issue: Theory and Applications of Models of Computation (TAMC 2008-2009). Math. Struct. Comput. Sci. 20(5): 705-706 (2010)
• 
  Klaus Ambos-Spies, Thorsten Kräling:
  Quantitative aspects of speed-up and gap phenomena. Math. Struct. Comput. Sci. 20(5): 707-722 (2010)
• 
  Thomas Anberrée:
  Semantical proofs of correctness for programs performing non-deterministic tests on real numbers. Math. Struct. Comput. Sci. 20(5): 723-751 (2010)
• 
  Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski:
  Modal and mixed specifications: key decision problems and their complexities. Math. Struct. Comput. Sci. 20(1): 75-103 (2010)
• 
  Mathias Barra:
  Bounded minimalisation and bounded counting in argument-bounded idc's. Math. Struct. Comput. Sci. 20(5): 753-779 (2010)
• 
  Edwin J. Beggs, José Félix Costa, John V. Tucker:
  Limits to measurement in experiments governed by algorithms. Math. Struct. Comput. Sci. 20(6): 1019-1050 (2010)
• 
  Ulrich Berger, Jens Blanck, Petter Kristian Køber:
  Domain representations of spaces of compact subsets. Math. Struct. Comput. Sci. 20(2): 107-126 (2010)
• 
  Jan A. Bergstra, Cornelis A. Middelburg:
  On the operating unit size of load/store architectures. Math. Struct. Comput. Sci. 20(3): 395-417 (2010)
• 
  Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz:
  Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20(3): 359-393 (2010)
• 
  Lars Birkedal, Kristian Støvring, Jacob Thamsborg:
  Realisability semantics of parametric polymorphism, general references and recursive types. Math. Struct. Comput. Sci. 20(4): 655-703 (2010)
• 
  Michele Bugliesi, Riccardo Focardi:
  Channel abstractions for network security. Math. Struct. Comput. Sci. 20(1): 3-44 (2010)
• 
  David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin:
  Long-run cost analysis by approximation of linear operators over dioids. Math. Struct. Comput. Sci. 20(4): 589-624 (2010)
• 
  Cristian S. Calude, Ludwig Staiger:
  A note on accelerated Turing machines. Math. Struct. Comput. Sci. 20(6): 1011-1017 (2010)
• 
  Luca Cardelli, Gianluigi Zavattaro:
  Turing universality of the Biochemical Ground Form. Math. Struct. Comput. Sci. 20(1): 45-73 (2010)
• 
  Ernst-Erich Doberkat:
  Weak bisimulations for the Giry monad. Math. Struct. Comput. Sci. 20(5): 781-798 (2010)
• 
  César Domínguez, Dominique Duval:
  Diagrammatic logic applied to a parameterisation process. Math. Struct. Comput. Sci. 20(4): 639-654 (2010)
• 
  Kosta Dosen, Zoran Petric:
  Coherence for monoidal endofunctors. Math. Struct. Comput. Sci. 20(4): 523-543 (2010)
• 
  Kosta Dosen, Zoran Petric:
  Coherence for monoidal monads and comonads. Math. Struct. Comput. Sci. 20(4): 545-561 (2010)
• 
  Martín Hötzel Escardó, Paulo Oliva:
  Selection functions, bar recursion and backward induction. Math. Struct. Comput. Sci. 20(2): 127-168 (2010)
• 
  Hugo Fort, Mordechai Kornbluth, Fredy R. Zypman:
  The Travelling Salesman Problem for finite-sized cities. Math. Struct. Comput. Sci. 20(6): 1067-1078 (2010)
• 
  Jean Goubault-Larrecq:
  De Groot duality and models of choice: angels, demons and nature. Math. Struct. Comput. Sci. 20(2): 169-237 (2010)
• 
  Luis-Manuel Rico-Gutierrez, Veiko Palge, Jacob Dunningham:
  Observing the superposition of a single particle with the vacuum. Math. Struct. Comput. Sci. 20(6): 1051-1065 (2010)
• 
  Esfandiar Haghverdi, Philip J. Scott:
  Towards a typed Geometry of Interaction. Math. Struct. Comput. Sci. 20(3): 473-521 (2010)
• 
  Thomas T. Hildebrandt, Daniele Gorla:
  Preface to special issue: Expressiveness in Concurrency 2008. Math. Struct. Comput. Sci. 20(1): 1-2 (2010)
• 
  Martin Hyland:
  Some reasons for generalising domain theory. Math. Struct. Comput. Sci. 20(2): 239-265 (2010)
• 
  Yusuke Ide, Norio Konno:
  Continuous-time quantum walks on the threshold network model. Math. Struct. Comput. Sci. 20(6): 1079-1090 (2010)
• 
  Rahul Jain, Ashwin Nayak, Yi Su:
  A separation between divergence and Holevo information for ensembles. Math. Struct. Comput. Sci. 20(5): 977-993 (2010)
• 
  Norio Konno:
  Quantum walks and elliptic integrals. Math. Struct. Comput. Sci. 20(6): 1091-1098 (2010)

skipping 17 more matches