![]() | ![]() |
2008 | ||
---|---|---|
6 | EE | Diana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative µ-Calculus. STACS 2008: 301-312 |
5 | EE | Lukasz Kaiser, Sasha Rubin, Vince Bárány: Cardinality and counting quantifiers on omega-automatic structures. STACS 2008: 385-396 |
4 | EE | Lukasz Kaiser, Sasha Rubin, Vince Bárány: Cardinality and counting quantifiers on omega-automatic structures CoRR abs/0802.2866: (2008) |
3 | EE | Diana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative mu-Calculus CoRR abs/0802.2871: (2008) |
2006 | ||
2 | EE | Lukasz Kaiser: Game Quantification on Automatic Structures and Hierarchical Model Checking Games. CSL 2006: 411-425 |
2005 | ||
1 | EE | Lukasz Kaiser: Confluence of Right Ground Term Rewriting Systems Is Decidable. FoSSaCS 2005: 470-489 |
1 | Vince Bárány | [4] [5] |
2 | Diana Fischer | [3] [6] |
3 | Erich Grädel | [3] [6] |
4 | Sasha Rubin | [4] [5] |