DMCA

Two-variable logic on words with data (2006)

by Mikołaj Bojańczyk , Anca Muscholl , Thomas Schwentick , Luc Segoufin , Claire David
Venue:In LICS
Citations:81 - 18 self