LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sav07_lecture_17 [2007/05/15 21:33]
vkuncak
sav07_lecture_17 [2007/05/16 00:12] (current)
vkuncak
Line 15: Line 15:
  
   * [[Encoding lists using MSOL over strings]]   * [[Encoding lists using MSOL over strings]]
-  * Tree automata +  * [[Tree automata]]
-  * Field constraint analysis+
  
 MSOL: MSOL: