ACCLAVIO, MATTEO
ACCLAVIO, MATTEO
Dipartimento di Matematica e Fisica
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.007 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Graphical Proof Theory of Logical Time | 1-gen-2022 | Acclavio, M.; Horne, R.; Mauw, S.; Strassburger, L. | |
AN ANALYTIC PROPOSITIONAL PROOF SYSTEM ON GRAPHS | 1-gen-2022 | Acclavio, M.; Horne, R.; Strassburger, L. | |
Generalized connectives for multiplicative linear logic | 1-gen-2020 | Acclavio, M.; Maieli, R. |