Monadic Datalog Containment on Trees
Frochaux, André; Grohe, Martin; Schweikardt, Nicole
Cornell University Library (2014)
Preprint
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-010644
Skip to Content Skip to Main Navigation Skip to Footer Skip to Search
Frochaux, André; Grohe, Martin; Schweikardt, Nicole
Cornell University Library (2014)
Preprint