%0 Conference Paper %1 conf/wollic/MahmoodV23 %A Mahmood, Yasir %A Virtema, Jonni %B WoLLIC %D 2023 %E Hansen, Helle Hvid %E Scedrov, Andre %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 274-291 %T Parameterized Complexity of Propositional Inclusion and Independence Logic. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2023.html#MahmoodV23 %V 13923 %@ 978-3-031-39784-4

@inproceedings{conf/wollic/MahmoodV23, added-at = {2023-09-14T00:00:00.000+0200}, author = {Mahmood, Yasir and Virtema, Jonni}, biburl = {https://www.bibsonomy.org/bibtex/253cf4b4d52bf99c9cbbf5c208d0466f8/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2023}, editor = {Hansen, Helle Hvid and Scedrov, Andre and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-031-39784-4_17}, interhash = {9714cab267ea0c5f2c890f75845f9736}, intrahash = {53cf4b4d52bf99c9cbbf5c208d0466f8}, isbn = {978-3-031-39784-4}, keywords = {dblp}, pages = {274-291}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:01:42.000+0200}, title = {Parameterized Complexity of Propositional Inclusion and Independence Logic.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2023.html#MahmoodV23}, volume = 13923, year = 2023 }