Intet billede af Jesper Bengtson

Jesper Bengtson

Dr

20112023

Publikationer pr. år

Filter
Tidsskriftartikel

Søgeresultater

  • 2016

    Psi-calculi in Isabelle

    Bengtson, J., Parrow, J. & Weber, T., 13 jan. 2016, I: Journal of Automated Reasoning. 56, 1, s. 1-47 1 s., 1.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil