Davide Castelnovo

According to our database, Davide Castelnovo authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A simple criterion for M,N-adhesivity.

Davide Castelnovo, Fabio Gadducci, Marino Miculan

Theor. Comput. Sci., January, 2024

On The Axioms Of M, N-Adhesive Categories.

Davide Castelnovo, Marino Miculan

CoRR, 2024

2022

A new criterion for M, N-adhesivity, with an application to hierarchical graphs.

Davide Castelnovo, Fabio Gadducci, Marino Miculan

CoRR, 2022

A new criterion for <i>M</i>, <i>N</i>-adhesivity, with an application to hierarchical graphs.

Davide Castelnovo, Fabio Gadducci, Marino Miculan

Proceedings of the Foundations of Software Science and Computation Structures, 2022

Fuzzy Algebraic Theories.

Davide Castelnovo, Marino Miculan

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Closure Hyperdoctrines.

Davide Castelnovo, Marino Miculan

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Closure hyperdoctrines, with paths.

Davide Castelnovo, Marino Miculan

CoRR, 2020