%0 Conference Paper %1 conf/lics/HadzihasanovicN18 %A Hadzihasanovic, Amar %A Ng, Kang Feng %A Wang, Quanlong %B LICS %D 2018 %E Dawar, Anuj %E Grädel, Erich %I ACM %K dblp %P 502-511 %T Two complete axiomatisations of pure-state qubit quantum computing. %U http://dblp.uni-trier.de/db/conf/lics/lics2018.html#HadzihasanovicN18

@inproceedings{conf/lics/HadzihasanovicN18, added-at = {2021-04-09T00:00:00.000+0200}, author = {Hadzihasanovic, Amar and Ng, Kang Feng and Wang, Quanlong}, biburl = {https://www.bibsonomy.org/bibtex/2dc774b09c7a1264c8c20841894d588f2/dblp}, booktitle = {LICS}, crossref = {conf/lics/2018}, editor = {Dawar, Anuj and Grädel, Erich}, ee = {https://www.wikidata.org/entity/Q64356750}, interhash = {2e25bfadbbf6455b303a771af5be503e}, intrahash = {dc774b09c7a1264c8c20841894d588f2}, keywords = {dblp}, pages = {502-511}, publisher = {ACM}, timestamp = {2024-04-10T20:03:46.000+0200}, title = {Two complete axiomatisations of pure-state qubit quantum computing.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2018.html#HadzihasanovicN18}, year = 2018 }