ACCLAVIO, MATTEO
ACCLAVIO, MATTEO
Dipartimento di Matematica e Fisica
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
A Graphical Proof Theory of Logical Time
2022-01-01 Acclavio, M.; Horne, R.; Mauw, S.; Strassburger, L.
AN ANALYTIC PROPOSITIONAL PROOF SYSTEM ON GRAPHS
2022-01-01 Acclavio, M.; Horne, R.; Strassburger, L.
Generalized connectives for multiplicative linear logic
2020-01-01 Acclavio, M.; Maieli, R.
Logic Programming with Multiplicative Structures
2024-01-01 Acclavio, Matteo; Maieli, Roberto
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. | |
Logic Programming with Multiplicative Structures | 1-gen-2024 | Acclavio, Matteo; Maieli, Roberto |