Graph explorer

Daniel Gaina

Daniel Gaina contributes to research discovery and scholarly infrastructure.

4 nodes3 linksoverview previewDaniel Gaina
4 nodes3 links
Daniel Gaina4 visible / 4 total nodes / 3 links
AuthorshipAuthorshipAuthorshipADaniel GainaResearcherWOmitting Types Theorem ...preprint / 2022WRobinson consistency in...preprint / 2022WA modular bisimulation ...preprint / 2023
PersonSignal 103 links

Daniel Gaina

Researcher

Open