Mathematical structures in computer science (MSCS)

• 

  Año 2013, Vol. 23, Número 2

  • Preface to special issue: Developments In Computational Models 2010

    Barry Cooper, Elham Kashefi, Prakash Panangaden

    págs. 201-203

    

  • The monoidal structure of Turing machines

    Miklós Bartha

    págs. 204-246

    

  • Two-domain DNA strand displacement

    Luca Cardelli

    págs. 247-271

    

  • Constraining rule-based dynamics with types

    Vincent Danos, Russell Harmer, Glynn Winskel

    págs. 272-289

    

  • Equilibrium and termination II: the case of Petri nets

    Vincent Danos, Nicolas Oury

    págs. 290-307

    

  • Open-graphs and monoidal theories

    Lucas Dixon, Aleks Kissinger

    págs. 308-359

    

  • Extended phase map decompositions for unitaries

    Vedran Dunjko, Elham Kashefi

    págs. 360-385

    

  • Quantum algorithms for testing and learning Boolean functions

    Dominik F. Floess, Erika Andersson, Mark Hillery

    págs. 386-398

    

  • A formalism-local framework for general probabilistic theories, including quantum theory

    Lucien Hardy

    págs. 399-440

    

  • Topological features of good resources for measurement-based quantum computation

    Damian Markham, Janet Anders, Michal Hajdusek, Vlatko Vedral

    págs. 441-453

    

  • Comparing the globalness of bipartite unitary operations: delocalisation power, entanglement cost and entangling power

    Akihito Soeda, Mio Murao

    págs. 454-470

    

  • Multi-level modelling via stochastic multi-level multiset rewriting

    Nicolas Oury, Gordon D. Plotkin

    págs. 471-503

    

  • A typed, algebraic, computational lambda-calculus

    Benoit Valiron

    págs. 504-554