The Complexity of Hybrid Logics over Equivalence Relations
- M. Mundhenk
- , T. Schneider
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review