@inbook{217eba83bf67465e9026604caca8748d,
title = "Reasoning About Entanglement: The Logic of Quantum Actions in Compound Systems",
abstract = "/",
keywords = "Entanglement, quantum physics, quantum logic, verification of quantum programs",
author = "Sonja Smets",
year = "2005",
language = "English",
series = "Collection of Abstracts of Q-Day II: Mathematical Structures in Quantum Informatics, Institut Henri Poincare, Paris, December",
booktitle = "Collection of Abstracts of Q-Day II: Mathematical Structures in Quantum Informatics, Institut Henri Poincare, Paris, December",
note = "Finds and Results from the Swedish Cyprus Expedition: A Gender Perspective at the Medelhavsmuseet ; Conference date: 21-09-2009 Through 25-09-2009",
}