Home » Publication » 14303

Dettaglio pubblicazione

2018, INFORMATION AND COMPUTATION, Pages 328-347 (volume: 259)

First-order μ-calculus over generic transition systems and applications to the situation calculus (01a Articolo in rivista)

Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio

keywords

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma