%0 Journal Article %1 journals/corr/abs-2012-08994 %A Díaz-Caro, Alejandro %A Dowek, Gilles %D 2020 %J CoRR %K dblp %T A New Connective in Natural Deduction, and its Application to Quantum Computing. %U http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-08994 %V abs/2012.08994

@article{journals/corr/abs-2012-08994, added-at = {2021-01-02T00:00:00.000+0100}, author = {Díaz-Caro, Alejandro and Dowek, Gilles}, biburl = {https://www.bibsonomy.org/bibtex/22566de51f390d43af7c16e47980e5bf2/dblp}, ee = {https://arxiv.org/abs/2012.08994}, interhash = {d465837eb8d9df293e7b5b6da7ac5d74}, intrahash = {2566de51f390d43af7c16e47980e5bf2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:38:01.000+0200}, title = {A New Connective in Natural Deduction, and its Application to Quantum Computing.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-08994}, volume = {abs/2012.08994}, year = 2020 }