MATTEO, ANGELO
MATTEO, ANGELO
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
An Automaton-based Characterisation of First-Order Logic over Infinite Trees.
2025-01-01 Benerecetti, Massimo; Della Monica, Dario; Matteo, Angelo; Mogavero, Fabio; Puppis, Gabriele
Deciding the Common Fragment of CTL with past and LTL
2026-01-01 Benerecetti, Massimo; Della Monica, Dario; Matteo, Angelo; Mogavero, Fabio; Puppis, Gabriele
Letture Critiche: "Temporal Logics", di Valentin Goranko
2025-01-01 Matteo, Angelo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Automaton-based Characterisation of First-Order Logic over Infinite Trees. | 1-gen-2025 | Benerecetti, Massimo; Della Monica, Dario; Matteo, Angelo; Mogavero, Fabio; Puppis, Gabriele | |
| Deciding the Common Fragment of CTL with past and LTL | 1-gen-2026 | Benerecetti, Massimo; Della Monica, Dario; Matteo, Angelo; Mogavero, Fabio; Puppis, Gabriele | |
| Letture Critiche: "Temporal Logics", di Valentin Goranko | 1-gen-2025 | Matteo, Angelo |