On the expressive power of the normal form for branching-time temporal logics
From MaRDI portal
Publication:6659914
DOI10.4204/eptcs.358.19MaRDI QIDQ6659914
Publication date: 9 January 2025
This page was built for publication: On the expressive power of the normal form for branching-time temporal logics