Automata with nested pebbles capture first-order logic with transitive closure

Author(s):: Engelfriet, J.; Hoogeboom, H.J. (0000-0002-6673-0124)

Editor(s):: Engelfriet J., Hoogeboom H.J.

Published: 2007
Publication type: Article / Letter to editor

Date issued: 2007
Language: English
Is part of: Logical Methods in Computer Science (2007), Vol. 3, no. 2-3, p. 1-27
hdl: 1887/59720
doi: 10.2168/LMCS-3(2:3)2007
URL: https://lmcs.episciences.org/2220