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
Scientific Staff
Newest Publications
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
QuantLA
Quantitative Logics and Automata
