TROTTA, DAVIDE Statistiche
TROTTA, DAVIDE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.01 secondi).
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness
2023-01-01 Fritz, Tobias; Gadducci, Fabio; Trotta, Davide; Corradini, Andrea
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation
2023-01-01 Gadducci, F.; Laretto, A.; Trotta, D.
Weakly Markov Categories and Weakly Affine Monads
2023-01-01 Fritz, Tobias; Gadducci, Fabio; Perrone, Paolo; Trotta, Davide
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness | 1-gen-2023 | Fritz, Tobias; Gadducci, Fabio; Trotta, Davide; Corradini, Andrea | |
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation | 1-gen-2023 | Gadducci, F.; Laretto, A.; Trotta, D. | |
Weakly Markov Categories and Weakly Affine Monads | 1-gen-2023 | Fritz, Tobias; Gadducci, Fabio; Perrone, Paolo; Trotta, Davide |