On the Satisfiability of Two-Variable Logic over Data Words.
Journal
Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Pages
248-262
Date Issued
2010
Author(s)
David, Claire
Libkin, Leonid
TONY TAN
SDGs
Type
conference paper