Mini-Workshop TCS at TuDo and RUB
transition sytems. abstract Marcel Marquardt, LS 1 Dynamische Komplexität formaler Sprachen. MW 10, May 7th, 2008, Chair 1: Speaker Subject Felix Klaedtke, ETH Zürich On the automata size for linear arithmetics [...] Using preferance fusion in default reasoning Wim Martens Conjunctive query containment over trees MW 7, June 27th, 2007, Chair 2: Speaker Subject Christoph Schubert Bisimilarity, behavioral and logical …
