On Logics and Homomorphism Closure
Bodirsky, Manuel, Feller, Thomas, Knauer, Simon, Rudolph, Sebastian
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Get full text
Paper
Journal Article
On Logics and Homomorphism Closure
Bodirsky, Manuel, Feller, Thomas, Knäuer, Simon, Rudolph, Sebastian
Published in arXiv.org (29.06.2021)
Published in arXiv.org (29.06.2021)
Get full text
Paper
Journal Article