| No. | Title | Author | Year |
|---|---|---|---|
| 1 | A Unified Approach to Boundedness Properties in MSO | Kaiser, Lukasz et al. | 2015 |
| 2 | Graph Searching Games and Width Measures for Directed Graphs | Akhoondian Amiri, Saeed et al. | 2015 |
| 3 | A Counting Logic for Structure Transition Systems | Kaiser, Lukasz et al. | 2012 |
| 4 | The Field of Reals is not omega-Automatic | Abu Zaid, Faried et al. | 2012 |
| 5 | A Perfect-Information Construction for Coordination in Games | Berwanger, Dietmar et al. | 2011 |
| 6 | Cardinality and counting quantifiers on omega-automatic structures | Kaiser, Lukasz et al. | 2008 |
| 7 | Model Checking Games for the Quantitative ยต-Calculus | Fischer , Diana et al. | 2008 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 7 |