Static Analysis and Query Answering for Incomplete Data Trees with Constraints

Amelie Gheerbrant, Leonid Libkin, Juan Reutter

Research output: Chapter in Book/Report/Conference proceedingChapter

Fingerprint

Dive into the research topics of 'Static Analysis and Query Answering for Incomplete Data Trees with Constraints'. Together they form a unique fingerprint.

Engineering & Materials Science