Joint supervision of MA thesis: Hybrid Logic by Asta Halkjær From

Activity: Examination

Description

Joint supervision with Jørgen Villadsen (DTU)
Period1 Sept 2019 → 29 Jan 2020
Examination held at
  • Technical University of Denmark
Degree of RecognitionNational

Keywords

  • Hybrid Logic
  • Isabelle/Hol
  • Proof assistant