Characterizing Definability in Decidable Fixpoint Logics
Michael Benedikt‚ Pierre Bourhis and Michael Vanden Boom
Book Title
44th International Colloquium on Automata‚ Languages‚ and Programming‚ ICALP 2017‚ July 10−14‚ 2017‚ Warsaw‚ Poland
Pages
107:1–107:14
Year
2017