Leibniz-Universität Hannover

  • Miikka Vilander (Visitor)
  • Martin Lück (Contributor)

    Aktiviteetti: Vierailu ulkomaille

    Description

    A 5-day research visit to Leibniz Universität Hannover. I continued my earlier work with local doctoral student Martin Lück on succinctness of propositional team logics. We made significant progress and made concrete plans to publish a paper.
    Aikajakso22 lokak. 2018 → 26 lokak. 2018
    VieraillaanLeibniz-Universität Hannover

    Country of activity

    • Saksa

    Nature of activity

    • Tutkimuksellinen

    Tähän liittyvä sisältö