References
Goré, Rajeev, and Florian Widmann, Sound global state caching for ALC with inverse roles, in Martin Giese and Arild Waaler, (eds.), Proc. TABLEAUX 2009, LNCS 5607:205–219. Springer, 2009.
Wikipedia. Hybrid systems. http://en.wikipedia.org/wiki/Hybrid_system. Accessed 22 February 2012.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Goré, R. Book Reviews. Stud Logica 101, 219–228 (2013). https://doi.org/10.1007/s11225-013-9468-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9468-5