Publications

[up]

Fixed points / mu-calculus / parity games

Higher-order recursion & unboundedness

Higher-order recursion

Automata with counters, MSO+U, etc.

Data trees / XPath

Timed automata

Tutorials

Other small things

Legend:

Licznik: 1161

Valid HTML 4.0!