Home » Publication » 23049

Dettaglio pubblicazione

2020, IJCAI, Pages 4959-4965

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces (04c Atto di convegno in rivista)

De Giacomo Giuseppe, Di Stasio Antonio, Fuggitti Francesco, Rubin Sasha

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