On the Complexity of Resource-Bounded Logics (2016)
By: Natasha Alechina, Nils Bulling, St\'ephane Demri, and Brian Logan
Download Information
Natasha Alechina, Nils Bulling, St\'ephane Demri, and Brian Logan (2016). "On the Complexity of Resource-Bounded Logics." Reachability Problems - 10th International Workshop, RP 2016, Proceedings (pp. 36-50).
Bibtex citation
@inproceedings{Alechina//:16c,
author = {Natasha Alechina and Nils Bulling and St{\'{e}}phane Demri and Brian Logan},
title = {On the Complexity of Resource-Bounded Logics},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Proceedings},
pages = {36--50},
editor = {Kim Guldstrand Larsen and Igor Potapov and Jir{\'{\i}} Srba},
series = {Lecture Notes in Computer Science},
volume = {9899},
publisher = {Springer},
year = {2016},
} full list