Proceedings 9th Workshop on Quantum Physics and Logic
Quantum Physics
2014-08-01 v1 Logic in Computer Science
Abstract
This volume contains the proceedings of the ninth workshop on Quantum Physics and Logic (QPL2012) which took place in Brussels from the 10th to the 12th of October 2012. QPL2012 brought together researchers working on mathematical foundations of quantum physics, quantum computing, and spatio-temporal causal structures. The particular focus was on the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical techniques, and other computer science methods for the study of physical behaviour in general.
Keywords
Cite
@article{arxiv.1407.8427,
title = {Proceedings 9th Workshop on Quantum Physics and Logic},
author = {Ross Duncan and Prakash Panangaden},
journal= {arXiv preprint arXiv:1407.8427},
year = {2014}
}