TESI, MATTEO
TESI, MATTEO
DIPARTIMENTO DI FILOSOFIA E COMUNICAZIONE
Personale esterno ed autonomi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
A Syntactic Proof of the Decidability of First-Order Monadic Logic | Orlandelli, Eugenio; Tesi, Matteo | 2024-01-01 | BULLETIN OF THE SECTION OF LOGIC | - | 1.01 Articolo in rivista | E.+Orlandelli,+M.+Tesi,+BSL,+3,+2024.pdf |
Labelled sequent calculi for logics of strict implication |
eugenio orlandelli; matteo tesi |
2022-01-01 | - | College Publication | 4.01 Contributo in Atti di convegno | - |