| No. |
Title |
Author |
Year |
| 1 |
The Complexity of Presburger Arithmetic with Power or Powers |
Benedikt, Michael et al. |
2023 |
| 2 |
Logic and Learning (Dagstuhl Seminar 19361) |
Benedikt, Michael et al. |
2020 |
| 3 |
Two Variable Logic with Ultimately Periodic Counting |
Benedikt, Michael et al. |
2020 |
| 4 |
Characterizing Definability in Decidable Fixpoint Logics |
Benedikt, Michael et al. |
2017 |
| 5 |
Front Matter, Table of Contents, Preface, Conference Organization, List of Authors |
Benedikt, Michael et al. |
2017 |
| 6 |
LIPIcs, Volume 68, ICDT'17, Complete Volume |
Benedikt, Michael et al. |
2017 |
| 7 |
Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331) |
Benedikt, Michael et al. |
2014 |
