No. |
Title |
Author |
Year |
---|

1 |
Logic and Random Discrete Structures (Dagstuhl Seminar 22061) |
Grädel, Erich et al. |
2022 |

2 |
Elementary Equivalence Versus Isomorphism in Semiring Semantics |
Grädel, Erich et al. |
2021 |

3 |
Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401) |
Gottlob, Georg et al. |
2021 |

4 |
Semiring Provenance for Fixed-Point Logic |
Dannert, Katrin M. et al. |
2021 |

5 |
Guarded Teams: The Horizontally Guarded Case |
Grädel, Erich et al. |
2020 |

6 |
Approximations of Isomorphism and Logics with Linear-Algebraic Operators |
Dawar, Anuj et al. |
2019 |

7 |
Choiceless Logarithmic Space |
Grädel, Erich et al. |
2019 |

8 |
Logics for Dependence and Independence (Dagstuhl Seminar 19031) |
Grädel, Erich et al. |
2019 |

9 |
Dependency Concepts up to Equivalence |
Grädel, Erich et al. |
2018 |

10 |
Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361) |
Dawar, Anuj et al. |
2018 |

11 |
Advice Automatic Structures and Uniformly Automatic Classes |
Abu Zaid, Faried et al. |
2017 |

12 |
The Model-Theoretic Expressiveness of Propositional Proof Systems |
Grädel, Erich et al. |
2017 |

13 |
Counting in Team Semantics |
Grädel, Erich et al. |
2016 |

14 |
Logics for Dependence and Independence (Dagstuhl Seminar 15261) |
Grädel, Erich et al. |
2016 |

15 |
Rank Logic is Dead, Long Live Rank Logic! |
Grädel, Erich et al. |
2015 |

16 |
Banach-Mazur Games with Simple Winning Strategies |
Grädel, Erich et al. |
2012 |

17 |
Definability of linear equation systems over groups and rings |
Dawar, Anuj et al. |
2012 |

18 |
The Field of Reals is not omega-Automatic |
Abu Zaid, Faried et al. |
2012 |

19 |
Model Checking Games for the Quantitative µ-Calculus |
Fischer , Diana et al. |
2008 |