Monadic Datalog Containment on Trees

Cornell University Library (2014) [Preprint]

Page(s): 39 S.

Authors

Selected Authors

Frochaux, André
Grohe, Martin
Schweikardt, Nicole

Identifier

  • REPORT NUMBER: RWTH-CONV-010644