Two-variable logic and key constraints on data words

Article CLOSED
Matthias Niewerth; Thomas Schwentick;
(2011)
Share - Bookmark