DMCA

The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata (2003)

by Arnaud Carayol , Stefan Wöhrle
Venue:IN FSTTCS’03, VOLUME 2914 OF LNCS
Citations:66 - 9 self