![]() | ![]() |
| 2009 | ||
|---|---|---|
| 3 | Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink: Graph Abstraction for a Modal Logic. Bulletin of the EATCS 97: 106-116 (2009) | |
| 2008 | ||
| 2 | Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink: A Modal-Logic Based Graph Abstraction. ICGT 2008: 321-335 | |
| 2006 | ||
| 1 | Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler: Stronger Reduction Criteria for Local First Search. ICTAC 2006: 108-122 | |
| 1 | Iovka Boneva | [2] [3] |
| 2 | Jörg Kreiker (Jörg Bauer) | [2] [3] |
| 3 | Peter Niebert | [1] |
| 4 | Hongyang Qu | [1] |
| 5 | Arend Rensink | [2] [3] |
| 6 | Walter Vogler | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page