Algebra and Discrete Structures

From International Center for Computational Logic
Toggle side column

Algebra and Discrete Structures

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

View full publication list

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
View full publication list



Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata