![](/img/cover-not-exists.png)
Completeness and Decidability Results for CTL in Constructive Type Theory
Doczkal, Christian, Smolka, GertVolume:
56
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-016-9361-9
Date:
March, 2016
File:
PDF, 680 KB
english, 2016