Druckansicht der Internetadresse:

Faculty of Mathematics, Physics & Computer Science

Theoretical Computer Science (AI VII) – Prof. Dr. Wim Martens

Print page

News

Overview


Paper accepted for publication at LICS 2018.

31.03.2018

The paper "MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras" by Matthias Niewerth was accepted for publication at the Logic in Computer Science (LICS) Conference in Oxford.

Facebook Twitter Youtube-Kanal Instagram Blog Contact