Dario Della Monica
Dario Della Monica
Affiliation: University of Udine
Talks
(OVERLAY)
A note on the fragment of modal μ-calculus equivalent to First Order Logic over infinite trees · Temporal, Modal and Logical Foundations
Pages in this Program
Program
Program on Saturday, 18 July 2026
OVERLAY on Saturday, 18 July 2026
OVERLAY Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑