Programming Logic and Semantics

Publikation

Publikationer pr. år 2009 2012 2013 2014 2015 2016 2017 2018 2024

• 72 Konferencebidrag i proceedings
• 39 Tidsskriftartikel
• 25 Konferenceartikel
• 11 Bidrag til bog/antologi
• 23 Mere
  • 9 Ph.d.-afhandling
  • 6 Rapport
  • 4 Paper
  • 1 Bog
  • 1 Konferenceabstrakt til konference
  • 1 Leder
  • 1 Andet bidrag

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2014

  Preface of Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014

  Carbone, M., 2014, I: Electronic Proceedings in Theoretical Computer Science. 162, 1 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Leder › peer review