2008 | ||
---|---|---|
3 | EE | Artan Dermaku, Tobias Ganzow, Georg Gottlob, Benjamin J. McMahan, Nysret Musliu, Marko Samer: Heuristic Methods for Hypertree Decomposition. MICAI 2008: 1-11 |
2 | EE | Tobias Ganzow, Sasha Rubin: Order-Invariant MSO is Stronger than Counting MSO in the Finite. STACS 2008: 313-324 |
2007 | ||
1 | EE | Tobias Ganzow, Sasha Rubin: Order-Invariant MSO is Stronger than Counting MSO in the Finite CoRR abs/0706.3723: (2007) |
1 | Artan Dermaku | [3] |
2 | Georg Gottlob | [3] |
3 | Benjamin J. McMahan | [3] |
4 | Nysret Musliu | [3] |
5 | Sasha Rubin | [1] [2] |
6 | Marko Samer | [3] |