Graph explorer

Anna Ingolfsdottir

Anna Ingolfsdottir contributes to research discovery and scholarly infrastructure.

4 nodes3 linksoverview previewAnna Ingolfsdottir
4 nodes3 links
Anna Ingolfsdottir4 visible / 4 total nodes / 3 links
AuthorshipAuthorshipAuthorshipAAnna IngolfsdottirResearcherWOn the Axiomatisation o...preprint / 2022WA Bisimulation-based Me...preprint / 2010WAxiomatizing recursion-...preprint / 2022
PersonSignal 103 links

Anna Ingolfsdottir

Researcher

Open