Login / Signup

Two-variable logic and key constraints on data words.

Matthias NiewerthThomas Schwentick
Published in: ICDT (2011)
Keyphrases