Datalog-Expressibility for Monadic and Guarded Second-Order Logic

arXiv2010.05677MaRDI QIDQ6351071

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph

Publication date: 12 October 2020

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

This page was built for publication: Datalog-Expressibility for Monadic and Guarded Second-Order Logic