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
© 2008-2024 Fundación Dialnet · Todos los derechos reservados