The Complexity of Boundedness for Guarded Logics (2015)
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1109/lics.2015.36
Publication URI: http://dx.doi.org/10.1109/lics.2015.36
Type: Conference/Paper/Proceeding/Abstract