1 – 3 of 3
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Towards the exact complexity of realizability for Safety LTL
(
- Contribution to journal › Article
- 2017
-
Mark
Time of Logics and Time of Physics
(
- Chapter in Book/Report/Conference proceeding › Book chapter
- 2009
-
Mark
Ceteris paribus modalities and the future contingents problem
2009) p.304-325(
- Chapter in Book/Report/Conference proceeding › Book chapter