Davide Castelnovo

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Fuzzy Set Theory

Rewriting Rules

Subgraph Isomorphism

Top Venues

Publications

Davide Castelnovo, Fabio Gadducci, Marino Miculan
A simple criterion for M,N-adhesivity. Theor. Comput. Sci. 982 (2024)
Davide Castelnovo, Marino Miculan
On The Axioms Of M, N-Adhesive Categories. CoRR (2024)
Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
Left-Linear Rewriting in Adhesive Categories. CONCUR (2024)
Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
Left-Linear Rewriting in Adhesive Categories. CoRR (2024)
Davide Castelnovo, Fabio Gadducci, Marino Miculan
-adhesivity, with an application to hierarchical graphs. FoSSaCS (2022)
Davide Castelnovo, Fabio Gadducci, Marino Miculan
A new criterion for M, N-adhesivity, with an application to hierarchical graphs. CoRR (2022)
Davide Castelnovo, Marino Miculan
Fuzzy Algebraic Theories. CSL (2022)
Davide Castelnovo, Marino Miculan
Fuzzy Algebraic Theories. CoRR (2021)
Davide Castelnovo, Marino Miculan
Closure Hyperdoctrines. CALCO (2021)
Davide Castelnovo, Marino Miculan
Closure hyperdoctrines, with paths. CoRR (2020)