Talks

21253 - 21264 of 22535 Results

Nonlocal no-signalling correlations that are locally quantum.

Howard Barnum University of New Mexico

July 20, 2005

PIRSA:05070109
Are Quantum States Exponentially Long Vectors?

Scott Aaronson The University of Texas at Austin

July 20, 2005

PIRSA:05070108
Residuated Mappings

July 20, 2005

PIRSA:05070107
Rickart comparability groups and quantum logic

David Foulis

July 20, 2005

PIRSA:05070106
Discrete phase space based on finite fields

William Wootters Williams College

July 20, 2005

PIRSA:05070105
Symmetry and quantum logic

Alexander Wilce Susquehanna University

July 20, 2005

PIRSA:05070104
The logic of quantum actions: reasoning about change in quantum systems

Sonja Smets Vrije Universiteit Brussel (VUB)

July 19, 2005

PIRSA:05070103
Nondeterministic testing of sequential quantum logic propositions on a quantum computer

Matthew Leifer Chapman University

July 19, 2005

PIRSA:05070102
Information is physical, but physics is logical

Samson Abramsky University of Oxford

July 19, 2005

PIRSA:05070101
Preparation contextuality in its myriad forms

Robert Spekkens Perimeter Institute for Theoretical Physics

July 19, 2005

PIRSA:05070100
Introduction to logics as type theories for quantum processes

Samson Abramsky University of Oxford

July 19, 2005

PIRSA:05070099
Dynamic Quantum Logic 3

July 18, 2005

PIRSA:05070096

Title	Date	Collection	Type	Info
Nonlocal no-signalling correlations that are locally quantum.	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Are Quantum States Exponentially Long Vectors?	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Residuated Mappings	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Rickart comparability groups and quantum logic	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Discrete phase space based on finite fields	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Symmetry and quantum logic	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
The logic of quantum actions: reasoning about change in quantum systems	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Nondeterministic testing of sequential quantum logic propositions on a quantum computer	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Information is physical, but physics is logical	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Preparation contextuality in its myriad forms	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Introduction to logics as type theories for quantum processes	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Dynamic Quantum Logic 3	2005‑07‑18	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details

Supported by

Talks

Format results

Nonlocal no-signalling correlations that are locally quantum.

Are Quantum States Exponentially Long Vectors?

Residuated Mappings

Rickart comparability groups and quantum logic

Discrete phase space based on finite fields

Symmetry and quantum logic

The logic of quantum actions: reasoning about change in quantum systems

Nondeterministic testing of sequential quantum logic propositions on a quantum computer

Information is physical, but physics is logical

Preparation contextuality in its myriad forms

Introduction to logics as type theories for quantum processes

Dynamic Quantum Logic 3

Nonlocal no-signalling correlations that are locally quantum.

Are Quantum States Exponentially Long Vectors?

Residuated Mappings

Rickart comparability groups and quantum logic

Discrete phase space based on finite fields

Symmetry and quantum logic

The logic of quantum actions: reasoning about change in quantum systems

Nondeterministic testing of sequential quantum logic propositions on a quantum computer

Information is physical, but physics is logical

Preparation contextuality in its myriad forms

Introduction to logics as type theories for quantum processes

Dynamic Quantum Logic 3