Login / Signup

Feasible Automata for Two-Variable Logic with Successor on Data Words.

Ahmet KaraThomas SchwentickTony Tan
Published in: LATA (2012)
Keyphrases