Simon Knäuer
Aus International Center for Computational Logic
Simon Knäuer
Stipendiat Algebra und Diskrete Strukturen
- simon.knaeuer@tu-dresden.de
- +49 351 463-34224
- WIL C41
I am a Ph.D. student in the DFG Research Training Group QuantLA.
Currently I am working on
- Infinite Domain Constraint Satisfaction Problems
- CSPs of Finite Relation Algebras
- Second Order Logic and CSPs
My supervisors are Prof. Dr. Manuel Bodirsky and Prof. Dr. Franz Baader
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
QuantLA
Quantitative Logics and Automata