Dario Della Monica
Dario Della Monica
Affiliation: University of Udine
Pages in this Program
A note on the fragment of modal μ-calculus equivalent to First Order Logic over infinite trees
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑