Publications

[up]

Higher-order recursion

Fixed points / mu-calculus / parity games

Higher-order recursion & unboundedness

Pushdown automata

Automata with counters, MSO+U, etc.

Data trees / XPath

Timed automata

Tutorials

Other small things

Legend:

Licznik: 2511

Valid HTML 4.0!