Druckansicht der Internetadresse:

Faculty of Mathematics, Physics & Computer Science

Data-Intensive Computing (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.