Algebra und Diskrete Strukturen
Aus International Center for Computational Logic
Algebra und Diskrete Strukturen
- Kontaktperson Manuel Bodirsky
- Sekretariat i.algebra@tu-dresden.de
Forschungsgruppe am Institut für Algebra an der Fakultät Mathematik der 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 structures, structural Ramsey theory
- Enumerative combinatorics
Neueste Publikationen
Komplette Publikationsliste anzeigen
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
