Simon Knäuer

Simon Knäuer

StipendiatTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Algebra und Diskrete Strukturen

• DBLP

•   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

• Publikationen
• Aktive Projekte

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
Quantitative Logics and Automata

•   http://lat.inf.tu-dresden.de/quantla/