Publications

2008

• T. Ganzow and S. Rubin. Order-Invariant MSO is Stronger than Counting MSO in the Finite. In Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 (S. Albers and P. Weil, Eds.), pp. 313–324, 2008.             
  BibTeX

  @inproceedings{GR08,
       author = {Tobias Ganzow and Sasha Rubin},
       title = {Order-Invariant MSO is Stronger than Counting MSO in the Finite},
       booktitle = {Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008},
       editor = {Susanne Albers and Pascal Weil},
       pages = {313–324},
       year = {2008},
  }