The Complexity of Boundedness for Guarded Logics
Michael Benedikt‚ Balder ten Cate‚ Thomas Colcombet and Michael Vanden Boom
Book Title
30th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2015‚ Kyoto‚ Japan‚ July 6−10‚ 2015
Pages
293–304
Year
2015