Publications

[up]

Pushdown automata

Higher-order recursion & unboundedness

Fixed points / mu-calculus / parity games

Higher-order recursion

Automata with counters, MSO+U, etc.

Data trees / XPath

Timed automata

Tutorials

Other small things

Legend:

Licznik: 2022

Valid HTML 4.0!