| No. |
Title |
Author |
Year |
| 1 |
Generalized Bundled Fragments for First-Order Modal Logic |
Liu, Mo et al. |
2022 |
| 2 |
Two variable fragment of Term Modal Logic |
Padmanabha, Anantha et al. |
2019 |
| 3 |
Bundled Fragments of First-Order Modal Logic: (Un)Decidability |
Padmanabha, Anantha et al. |
2018 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Lokam, Satya et al. |
2018 |
| 5 |
LIPIcs, Volume 93, FSTTCS'17, Complete Volume |
Lokam, Satya et al. |
2018 |
| 6 |
08171 Abstracts Collection -- Beyond the Finite: New Challenges in Verification and Semistructured Data |
Muscholl, Anca et al. |
2008 |
| 7 |
08171 Summary -- Beyond the Finite: New Challenges in Verification and Semistructured Data |
Muscholl, Anca et al. |
2008 |
