Algorithmically Efficient Syntactic Characterization of Possibility Domains
- Publication date
- 1 January 2019
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)