Marco Volpe

volpe@fortiss.org

Publikationen

Liste als BibTeX-Datei exportieren

  • 2019 A general proof certification framework for modal logic Tomer Libal und Marco Volpe Mathematical Structures in Computer Science, 29(8):1344–1378, 2019. Details DOI BIB