Works matching IS 09601295 AND DT 2013 AND VI 23 AND IP 2
Results: 15
MSC volume 23 issue 2 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. b1, doi. 10.1017/S0960129513000133
- Publication type:
- Article
MSC volume 23 issue 2 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. f1, doi. 10.1017/S0960129513000121
- Publication type:
- Article
A typed, algebraic, computational lambda-calculus.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 504, doi. 10.1017/S0960129512000205
- By:
- Publication type:
- Article
Multi-level modelling via stochastic multi-level multiset rewriting.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 471, doi. 10.1017/S0960129512000199
- By:
- Publication type:
- Article
Comparing the globalness of bipartite unitary operations: delocalisation power, entanglement cost and entangling power.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 454, doi. 10.1017/S0960129512000187
- By:
- Publication type:
- Article
Topological features of good resources for measurement-based quantum computation.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 441, doi. 10.1017/S0960129512000175
- By:
- Publication type:
- Article
A formalism-local framework for general probabilistic theories, including quantum theory.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 399, doi. 10.1017/S0960129512000163
- By:
- Publication type:
- Article
Quantum algorithms for testing and learning Boolean functions.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 386, doi. 10.1017/S0960129512000151
- By:
- Publication type:
- Article
Extended phase map decompositions for unitaries.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 360, doi. 10.1017/S096012951200014X
- By:
- Publication type:
- Article
Open-graphs and monoidal theories.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 308, doi. 10.1017/S0960129512000138
- By:
- Publication type:
- Article
Equilibrium and termination II: the case of Petri nets.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 290, doi. 10.1017/S0960129512000126
- By:
- Publication type:
- Article
Constraining rule-based dynamics with types.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 272, doi. 10.1017/S0960129512000114
- By:
- Publication type:
- Article
Two-domain DNA strand displacement.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 247, doi. 10.1017/S0960129512000102
- By:
- Publication type:
- Article
The monoidal structure of Turing machines.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 204, doi. 10.1017/S0960129512000096
- By:
- Publication type:
- Article
Preface to special issue: Developments In Computational Models 2010.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 201, doi. 10.1017/S0960129512000084
- By:
- Publication type:
- Article