%0 Conference Paper %1 conf/rp/AlechinaBDL16 %A Alechina, Natasha %A Bulling, Nils %A Demri, Stéphane %A Logan, Brian %B RP %D 2016 %E Larsen, Kim Guldstrand %E Potapov, Igor %E Srba, Jirí %I Springer %K dblp %P 36-50 %T On the Complexity of Resource-Bounded Logics. %U http://dblp.uni-trier.de/db/conf/rp/rp2016.html#AlechinaBDL16 %V 9899 %@ 978-3-319-45993-6

@inproceedings{conf/rp/AlechinaBDL16, added-at = {2021-12-08T00:00:00.000+0100}, author = {Alechina, Natasha and Bulling, Nils and Demri, Stéphane and Logan, Brian}, biburl = {https://www.bibsonomy.org/bibtex/2c95a18434b8c8fbbe7d7927e46f88584/dblp}, booktitle = {RP}, crossref = {conf/rp/2016}, editor = {Larsen, Kim Guldstrand and Potapov, Igor and Srba, Jirí}, ee = {https://doi.org/10.1007/978-3-319-45994-3_3}, interhash = {d20361bef68bc6d440e9f41ec201d8b8}, intrahash = {c95a18434b8c8fbbe7d7927e46f88584}, isbn = {978-3-319-45993-6}, keywords = {dblp}, pages = {36-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:16:37.000+0200}, title = {On the Complexity of Resource-Bounded Logics.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2016.html#AlechinaBDL16}, volume = 9899, year = 2016 }