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 25th Annual Symposium on Theoretical Aspects of Computer Science, 2008

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


  Loading...