Benchmarking, Verification & Validation

2 papers for year 2014 from arXiv preprints

All years 2026 116 2025 4 2024 14 2023 9 2022 8 2021 7 2020 13 2019 13 2018 1 2017 4 2016 4 2015 3 2014 7 2012 6 2011 6 2010 1 2008 2 2007 3 2004 1 2000 1 1999 2 1998 1
All sources 7 arXiv preprints 2 Europe PMC 5

Showing 1-2 of 2

Categorical Operator Algebraic Foundations of Relational Quantum Theory

Paolo Bertozzini

2014 arXiv arXiv preprint

Proceedings of the 11th workshop on Quantum Physics and Logic

Bob Coecke, Ichiro Hasuo, Prakash Panangaden

2014 arXiv arXiv preprint