Graph explorer

Arnaud Spiwack

Arnaud Spiwack contributes to research discovery and scholarly infrastructure.

9 nodes8 linksoverview mapArnaud Spiwack
9 nodes8 links
Arnaud Spiwack9 visible / 9 total nodes / 8 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAArnaud SpiwackResearcherWLinearly Qualified Type...preprint / 2022WAbstract interpretation...preprint / 2014WNotes on axiomatising H...preprint / 2015WThe tree machinepreprint / 2015WThe Rooster and the Syn...preprint / 2014WBalancing lists: a proo...preprint / 2014WA proof of strong norma...preprint / 2007WUnion and intersection ...preprint / 2022
PersonSignal 108 links

Arnaud Spiwack

Researcher

Open