This is an old revision of the document!


Publications

Tool Support

libvata: a highly optimised non-deterministic finite tree automata library

heavy-minotaut: an additional libvata module for reducing the size of nondeterministic tree automata.

People

Parosh Aziz AbdullaLukas HolikOndra LengalJiri SimacekTomas Vojnar

Related Resources

tasimsub.1520967626.txt.gz · Last modified: (external edit)