| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 4 |      | Tobias Ganzow, Lukasz Kaiser: New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures. CSL 2010: 366-380 |
| 2008 | ||
| 3 | | Artan Dermaku, Tobias Ganzow, Georg Gottlob, Benjamin J. McMahan, Nysret Musliu, Marko Samer: Heuristic Methods for Hypertree Decomposition. MICAI 2008: 1-11 |
| 2 | | Tobias Ganzow, Sasha Rubin: Order-Invariant MSO is Stronger than Counting MSO in the Finite. STACS 2008: 313-324 |
| 2007 | ||
| 1 | | 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 | Lukasz Kaiser | [4] |
| 4 | Benjamin J. McMahan | [3] |
| 5 | Nysret Musliu | [3] |
| 6 | Sasha Rubin | [1] [2] |
| 7 | Marko Samer | [3] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page