Sfoglia per Autore ACCLAVIO, MATTEO
Mostrati risultati da 1 a 4 di 4
Generalized connectives for multiplicative linear logic
2020-01-01 Acclavio, M.; Maieli, R.
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.
Logic Programming with Multiplicative Structures
2024-01-01 Acclavio, Matteo; Maieli, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Generalized connectives for multiplicative linear logic | 1-gen-2020 | Acclavio, M.; Maieli, R. | |
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. | |
Logic Programming with Multiplicative Structures | 1-gen-2024 | Acclavio, Matteo; Maieli, Roberto |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile