On the Complexity of Resource-Bounded Logics
(2016)
Conference Proceeding
Alechina, N., Bulling, N., Demri, S., & Logan, B. (2016). On the Complexity of Resource-Bounded Logics. In Reachability problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (36-50). https://doi.org/10.1007/978-3-319-45994-3_3
© Springer International Publishing Switzerland 2016. We revisit decidability results for resource-bounded logics and use decision problems for vector addition systems with states (VASS) to characterise the complexity of (decidable) model-checking pr... Read More about On the Complexity of Resource-Bounded Logics.