LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]]