A new algorithm for the determinisation of visibly pushdown automata.

Radomr Polch, Jan Travnicek, Jan Janousek, Borivoj Melichar

Browse the full FedCSIS paper archive.