Differences
This shows you the differences between two versions of the page.
monadic_second-order_logic_over_trees [2007/04/24 15:17] vkuncak created |
monadic_second-order_logic_over_trees [2007/04/24 15:34] (current) vkuncak |
||
---|---|---|---|
Line 3: | Line 3: | ||
* [[http://www.grappa.univ-lille3.fr/tata/|Tree Automata Techniques and Applications (Tata book)]] | * [[http://www.grappa.univ-lille3.fr/tata/|Tree Automata Techniques and Applications (Tata book)]] | ||
* [[http://www.brics.dk/mona/|The MONA Project]] | * [[http://www.brics.dk/mona/|The MONA Project]] | ||
+ | * [[http://www.irisa.fr/lande/genet/timbuk/|Timbook for Reachability Analysis and Tree Automata Calculations]] | ||