Skip to content

Two-variable logic and key constraints on data words.

Matthias Niewerth, Thomas Schwentick

VenueAICDT
Year2011
ProceedingsICDT

Browse the full ICDT paper archive.