Graph explorer

Marcello Bonsangue

Marcello Bonsangue contributes to research discovery and scholarly infrastructure.

5 nodes4 linksoverview mapMarcello Bonsangue
5 nodes4 links
Marcello Bonsangue5 visible / 5 total nodes / 4 links
AuthorshipAuthorshipAuthorshipAuthorshipAMarcello BonsangueResearcherWAutomatic Equivalence P...preprint / 2013WMinimisation in Logical...preprint / 2020WNon-Deterministic Kleen...preprint / 2010WGeneralizing determiniz...preprint / 2013
PersonSignal 104 links

Marcello Bonsangue

Researcher

Open