Davide Castelnovo

13 papers B 5Journal 8
YearRankTypeTitle / Venue / Authors
2025 B conf
EGGs Are Adhesive!
CALCO
Roberto Biondo, Davide Castelnovo, Fabio Gadducci
2025 J jnl
EGGs are adhesive!
CoRR
Roberto Biondo, Davide Castelnovo, Fabio Gadducci
2025 J jnl
On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories.
Log. Methods Comput. Sci.
Davide Castelnovo, Marino Miculan
2024 J jnl
A simple criterion for M,N-adhesivity.
Theor. Comput. Sci.
Davide Castelnovo, Fabio Gadducci, Marino Miculan
2024 B conf
Left-Linear Rewriting in Adhesive Categories.
CONCUR
Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
2024 J jnl
Left-Linear Rewriting in Adhesive Categories.
CoRR
Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
2024 J jnl
On The Axioms Of M, N-Adhesive Categories.
CoRR
Davide Castelnovo, Marino Miculan
2022 B conf
A new criterion for
FoSSaCS
Davide Castelnovo, Fabio Gadducci, Marino Miculan
2022 J jnl
A new criterion for M, N-adhesivity, with an application to hierarchical graphs.
CoRR
Davide Castelnovo, Fabio Gadducci, Marino Miculan
2022 B conf
Fuzzy Algebraic Theories.
CSL
Davide Castelnovo, Marino Miculan
2021 B conf
Closure Hyperdoctrines.
CALCO
Davide Castelnovo, Marino Miculan
2021 J jnl
Fuzzy Algebraic Theories.
CoRR
Davide Castelnovo, Marino Miculan
2020 J jnl
Closure hyperdoctrines, with paths.
CoRR
Davide Castelnovo, Marino Miculan