Algebra und Diskrete Strukturen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Algebra und Diskrete Strukturen

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

Professoren und Gruppenleiter

Wissenschaftliche Mitarbeiter

Neueste Publikationen

Komplette Publikationsliste anzeigen

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
Komplette Publikationsliste anzeigen



Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata