- Record: found
- Abstract: not found
- Book Chapter: not found
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Book Chapter: not found
Higher-Order Pushdown Trees Are Easy
Teodor Knapik, Damian Niwinski, Paweł Urzyczyn (2002)
- Record: found
- Abstract: not found
- Article: not found
Monadic second-order definable graph transductions: a survey
Bruno Courcelle (1994)
- Record: found
- Abstract: not found
- Book Chapter: not found
The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata
Arnaud Carayol, Stefan Wöhrle (2003)