Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642381638, 9783642381645

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Breaking the Atom with Samson

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_22 ◽

2013 ◽

pp. 327-335

Author(s):

Jouko Väänänen

Download Full-text

Quantum Field Theory for Legspinners

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_19 ◽

2013 ◽

pp. 277-290

Author(s):

Prakash Panangaden

Keyword(s):

Field Theory ◽

Quantum Field Theory ◽

Download Full-text

Techniques for Formal Modelling and Analysis of Quantum Systems

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_18 ◽

2013 ◽

pp. 264-276

Author(s):

Simon J. Gay ◽

Rajagopal Nagarajan

Keyword(s):

Quantum Systems ◽

Formal Modelling

Download Full-text

Compositional Quantum Logic

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_3 ◽

2013 ◽

pp. 21-36 ◽

Author(s):

Bob Coecke ◽

Chris Heunen ◽

Aleks Kissinger

Keyword(s):

Download Full-text

Erratum: On the Functor ℓ2

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_26 ◽

2013 ◽

pp. E1-E1

Author(s):

Chris Heunen

Download Full-text

Reasoning about Strategies

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_23 ◽

2013 ◽

pp. 336-347 ◽

Author(s):

Johan van Benthem

Download Full-text

Unifying Semantics for Concurrent Programming

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_10 ◽

2013 ◽

pp. 139-149 ◽

Author(s):

Tony Hoare

Keyword(s):

Concurrent Programming

Download Full-text

The Algebra of Directed Acyclic Graphs

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_4 ◽

2013 ◽

pp. 37-51 ◽

Author(s):

Marcelo Fiore ◽

Marco Devesas Campos

Keyword(s):

Directed Acyclic Graphs ◽

Download Full-text

Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_5 ◽

2013 ◽

pp. 52-68 ◽

Author(s):

Dan R. Ghica

Keyword(s):

Asynchronous Circuits ◽

Diagrammatic Reasoning

Download Full-text

Quantum Speedup and Categorical Distributivity

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38164-5_9 ◽

2013 ◽

pp. 122-138

Author(s):

Peter Hines

Keyword(s):

Quantum Speedup

Download Full-text