The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata.

Arnaud Carayol Stefan Wöhrle

Published in: FSTTCS (2003)

Keyphrases

higher order
higher order logic
pairwise
lambda calculus
classical logic
graph theoretic
graph matching
high order
modal logic
regular expressions
hierarchical structure
random graphs
background knowledge
low order
finite automata
probabilistic automata
co occurrence
search engine