Regelbasiertes Schließen

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

Regelbasiertes Schließen


Artikel in Tagungsbänden

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, 120:1-120:17, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download