Sciweavers

CORR
2007
Springer

Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

13 years 4 months ago
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
Joost Engelfriet, Hendrik Jan Hoogeboom
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where CORR
Authors Joost Engelfriet, Hendrik Jan Hoogeboom
Comments (0)