Graph explorer

Bas Spitters

Bas Spitters contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewBas Spitters
13 nodes12 links
Bas Spitters13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipABas SpittersResearcherWConstructive pointfree ...preprint / 2008WThe space of measuremen...preprint / 2010WType Classes for Mathem...preprint / 2011WSmart Contract Interact...preprint / 2019WConstructive Gelfand du...preprint / 2009WA computer verified, mo...preprint / 2010WComputer certified effi...preprint / 2011WConstructive Theory of ...preprint / 2010WFormalising Decentralis...preprint / 2022WSynthetic topology in H...preprint / 2021WConCert: A Smart Contra...preprint / 2019WAn Application of Compu...preprint / 2019
PersonSignal 1012 links

Bas Spitters

Researcher

Open