On the Satisfiability of Two-Variable Logic over Data Words.

David, ClaireClaireDavidLibkin, LeonidLeonidLibkinTONY TAN2020-05-042020-05-042010https://scholars.lib.ntu.edu.tw/handle/123456789/490131[SDGs]SDG4On the Satisfiability of Two-Variable Logic over Data Words.conference paper10.1007/978-3-642-16242-8_18https://doi.org/10.1007/978-3-642-16242-8_18