On the Satisfiability of Two-Variable Logic over Data Words

Claire David, Leonid Libkin, Tony Tan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
XML with Incomplete Information: Representation, Querying and Applications
Libkin, L. (Principal Investigator)
EPSRC
1/09/09 → 30/11/13
Project: Research