Manuel Bodirsky - Researcher Profile

Publications

1 shown

Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Manuel Bodirsky , Simon Knäuer , Sebastian Rudolph

We characterise the sentences in Monadic Second-order Logic (MSO) that are over finite structures equivalent to a Datalog program, in terms of an existential pebble game. We als...

2025 ACM Transactions on Computational Logic 1 citations

Frequent Co-Authors

Simon Knäuer

Technische Universität Dresden

Sebastian Rudolph

Karlsruhe Institute of Technology

Researcher Info

h-index: 1
Publications: 1
Citations: 1
Institution: Technische Universität Dresden

External Links

ORCID Profile Google Scholar

Identifiers

ORCID: 0000-0001-8228-3611

Impact Metrics

h-index 1

h-index: Number of publications with at least h citations each.