Risultati ricerca pubblicazioni

First-order μ-calculus over generic transition systems and applications to the situation calculus

pubblicato su: INFORMATION AND COMPUTATION - 2018
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio

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