Two-variable logic and key constraints on data words

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