Tobias Ganzow

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Tobias Ganzow, Lukasz Kaiser
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures. CSL (2010)
Artan Dermaku, Tobias Ganzow, Georg Gottlob, Benjamin J. McMahan, Nysret Musliu, Marko Samer
Heuristic Methods for Hypertree Decomposition. MICAI (2008)
Tobias Ganzow, Sasha Rubin
Order-Invariant MSO is Stronger than Counting MSO in the Finite. STACS (2008)
Tobias Ganzow, Sasha Rubin
Order-Invariant MSO is Stronger than Counting MSO in the Finite CoRR (2007)