Algebra und Diskrete Strukturen: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Manuel Bodirsky (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 6: | Zeile 6: | ||
Fields of Interest: | Fields of Interest: | ||
* Constraint | * Constraint satisfaction problems: algorithms and complexity | ||
* Universal | * Universal algebra, clones on infinite domains, infinite permutation groups | ||
* Finite model theory and descriptive complexity | * Finite model theory and descriptive complexity | ||
* Classical model theory, homogeneous | * Classical model theory, homogeneous structures, structural Ramsey theory | ||
* Enumerative combinatorics | * Enumerative combinatorics | ||
|Beschreibung EN=Research Group at the [https://tu-dresden.de/mn/math/algebra?set_language=en Institute of Algebra] at the [https://tu-dresden.de/mn/math?set_language=en Faculty of Mathematics] of [https://tu-dresden.de/?set_language=en TU Dresden]. | |Beschreibung EN=Research Group at the [https://tu-dresden.de/mn/math/algebra?set_language=en Institute of Algebra] at the [https://tu-dresden.de/mn/math?set_language=en Faculty of Mathematics] of [https://tu-dresden.de/?set_language=en TU Dresden]. |
Aktuelle Version vom 23. Februar 2021, 22:36 Uhr
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, 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