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.txt · Last modified: 2016/03/04 23:43 by rmayr