Algebra and Discrete Structures
From International Center for Computational Logic
Algebra and Discrete Structures
- Contact Manuel Bodirsky
- Secretary i.algebra@tu-dresden.de
Research Group at the Institute of Algebra at the Faculty of Mathematics of TU Dresden.
Fields of Interest:
- Constraint Satisfaction Problems: Algorithms and Complexity
- Universal Algebra", Clones on infinite domains, infinite permutation groups
- Finite model theory and descriptive complexity
- Classical model theory, homogeneous strukturs, structural Ramsey theory
- Enumerative combinatorics
Professors and Research Group Leaders
Former Members
Newest Publications
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
ACM Transactions on Computational Logic, 27(2):1-42, 2026
Details Download
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), 1-13, 2021. IEEE
Details Download
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, 120:1-120:17, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Technical Report, arXiv.org, volume 2010.05677, October 2020
Details Download
