%0 Conference Paper %1 conf/aiml/0002M22 %A Das, Anupam %A Marin, Sonia %B AiML %D 2022 %E Fernández-Duque, David %E Palmigiano, Alessandra %E Pinchinat, Sophie %I College Publications %K dblp %P 329-348 %T Modal logic and the polynomial hierarchy: from QBFs to K and back. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2022.html#0002M22 %@ 978-1-84890-413-2

@inproceedings{conf/aiml/0002M22, added-at = {2024-01-16T00:00:00.000+0100}, author = {Das, Anupam and Marin, Sonia}, biburl = {https://www.bibsonomy.org/bibtex/29cd859c461b5fc4fed6b8279dd7b8e52/dblp}, booktitle = {AiML}, crossref = {conf/aiml/2022}, editor = {Fernández-Duque, David and Palmigiano, Alessandra and Pinchinat, Sophie}, ee = {http://www.aiml.net/volumes/volume14/21-Das-Marin.pdf}, interhash = {1abe03feabcdd84d9d220ac85872db67}, intrahash = {9cd859c461b5fc4fed6b8279dd7b8e52}, isbn = {978-1-84890-413-2}, keywords = {dblp}, pages = {329-348}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:23.000+0200}, title = {Modal logic and the polynomial hierarchy: from QBFs to K and back.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2022.html#0002M22}, year = 2022 }