Paweł Parys
Paweł Parys
Affiliation: MIMUW, University of Warsaw
Affiliation: University of Warsaw
Pages in this Program
Automata for MSO over infinite trees with quantification over Borel sets of branches
Subsumption for FL_⊥reg Is in ExpTime.
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑