%0 Journal Article %1 journals/jar/PaoliniPZ19 %A Paolini, Luca %A Piccolo, Mauro %A Zorzi, Margherita %D 2019 %J J. Autom. Reason. %K dblp %N 4 %P 941-966 %T QPCF: Higher-Order Languages and Quantum Circuits. %U http://dblp.uni-trier.de/db/journals/jar/jar63.html#PaoliniPZ19 %V 63

@article{journals/jar/PaoliniPZ19, added-at = {2020-09-02T00:00:00.000+0200}, author = {Paolini, Luca and Piccolo, Mauro and Zorzi, Margherita}, biburl = {https://www.bibsonomy.org/bibtex/2404adc1b8a13271c2f7ca45194f485e1/dblp}, ee = {https://doi.org/10.1007/s10817-019-09518-y}, interhash = {3329b92da2b126b2e9f53836804542ea}, intrahash = {404adc1b8a13271c2f7ca45194f485e1}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 4, pages = {941-966}, timestamp = {2020-09-09T13:34:59.000+0200}, title = {QPCF: Higher-Order Languages and Quantum Circuits.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar63.html#PaoliniPZ19}, volume = 63, year = 2019 }