Techniques for Formal Modelling and Analysis of Quantum Systems (Englisch)
- Neue Suche nach: Gay, Simon J.
- Neue Suche nach: Nagarajan, Rajagopal
- Neue Suche nach: Gay, Simon J.
- Neue Suche nach: Nagarajan, Rajagopal
In:
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
;
264-276
;
2013
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Techniques for Formal Modelling and Analysis of Quantum Systems
-
Beteiligte:Gay, Simon J. ( Autor:in ) / Nagarajan, Rajagopal ( Autor:in )
-
Erschienen in:Lecture Notes in Computer Science ; 7860 ; 264-276
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2013
-
Format / Umfang:13 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Use of a Canonical Hidden-Variable Space in Quantum MechanicsBrandenburger, Adam / Keisler, H. Jerome et al. | 2013
- 7
-
Imperfect Information in Logic and Concurrent GamesClairambault, Pierre / Gutierrez, Julian / Winskel, Glynn et al. | 2013
- 21
-
Compositional Quantum LogicCoecke, Bob / Heunen, Chris / Kissinger, Aleks et al. | 2013
- 37
-
The Algebra of Directed Acyclic GraphsFiore, Marcelo / Devesas Campos, Marco et al. | 2013
- 52
-
Diagrammatic Reasoning for Delay-Insensitive Asynchronous CircuitsGhica, Dan R. et al. | 2013
- 69
-
Payoffs, Intensionality and Abstraction in GamesHankin, Chris / Malacaria, Pasquale et al. | 2013
- 83
-
On the Theory of Composition in PhysicsHardy, Lucien et al. | 2013
- 107
-
On the Functor ℓ2Heunen, Chris et al. | 2013
- 122
-
Quantum Speedup and Categorical DistributivityHines, Peter et al. | 2013
- 139
-
Unifying Semantics for Concurrent ProgrammingHoare, Tony et al. | 2013
- 150
-
Unfixing the Fixpoint: The Theories of the λY-CalculusHonsell, Furio / Lenisa, Marina et al. | 2013
- 166
-
Continuous Domain Theory in Logical FormJung, Achim et al. | 2013
- 178
-
Presheaf Models of Quantum Computation: An OutlineMalherbe, Octavio / Scott, Philip / Selinger, Peter et al. | 2013
- 195
-
Nothing Can Be FixedMartin, Keye et al. | 2013
- 197
-
Dialogue Categories and Frobenius MonoidsMelliès, Paul-André et al. | 2013
- 225
-
Anatomy of a Domain of Continuous Random Variables IIMislove, Michael et al. | 2013
- 246
-
Towards Nominal AbramskyMurawski, Andrzej S. / Tzevelekos, Nikos et al. | 2013
- 264
-
Techniques for Formal Modelling and Analysis of Quantum SystemsGay, Simon J. / Nagarajan, Rajagopal et al. | 2013
- 277
-
Quantum Field Theory for LegspinnersPanangaden, Prakash et al. | 2013
- 291
-
Bicompletions of Distance MatricesPavlovic, Dusko et al. | 2013
- 311
-
Partial Recursive Functions and FinalityPlotkin, Gordon et al. | 2013
- 327
-
Breaking the Atom with SamsonVäänänen, Jouko et al. | 2013
- 336
-
Reasoning about StrategiesBenthem, Johan et al. | 2013
- 348
-
Domain Theory in Topical FormVickers, Steve et al. | 2013
- 350
-
Kolmogorov Complexity of CategoriesYanofsky, Noson S. et al. | 2013
- E1
-
Erratum: On the Functor ℓ2Heunen, Chris et al. | 2013