Simon Knäuer

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

Simon Knäuer

StipendiatTechnische Universität DresdenInternational Center for Computational Logic Algebra und Diskrete Strukturen

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
Komplette Publikationsliste anzeigen
Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata