Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"2020"
"04c Atto di convegno in rivista"
"IJCAI"
Pubblicazioni
Pubblicazioni
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
2020 - IJCAI
De Giacomo, Giuseppe
;
Di Stasio, Antonio
;
Fuggitti, Francesco
; Rubin, Sasha
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma