Decision Algorithms for Havel's Branching Automata.

Marek Karpinski

Browse the full MFCS paper archive.