Automata vs. Logics on Data Words

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15205-4_12 ◽

2010 ◽

pp. 110-124 ◽

Cited By ~ 11

Author(s):

Michael Benedikt ◽

Clemens Ley ◽

Gabriele Puppis

Download Full-text