Lab for Automated Reasoning and Analysis LARA


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)
Line 3: Line 3:
   * [[http://​​tata/​|Tree Automata Techniques and Applications (Tata book)]]   * [[http://​​tata/​|Tree Automata Techniques and Applications (Tata book)]]
   * [[http://​​mona/​|The MONA Project]]   * [[http://​​mona/​|The MONA Project]]
 +  * [[http://​​lande/​genet/​timbuk/​|Timbook for Reachability Analysis and Tree Automata Calculations]]
monadic_second-order_logic_over_trees.txt · Last modified: 2007/04/24 15:34 by vkuncak