Tobias Ganzow

According to our database1, Tobias Ganzow authored at least 4 papers between 2008 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Definability and model checking: the role of orders and compositionality.
PhD thesis, 2011

2010
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures.
Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2008
Order-Invariant MSO is Stronger than Counting MSO in the Finite.
Proceedings of the STACS 2008, 2008

Heuristic Methods for Hypertree Decomposition.
Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008


  Loading...