Lab for Automated Reasoning and Analysis 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_16 [2007/05/10 18:38]
vkuncak
sav07_lecture_16 [2007/05/10 18:38] (current)
vkuncak
Line 10: Line 10:
   * [[Using automata to decide Presburger arithmetic]]   * [[Using automata to decide Presburger arithmetic]]
   * [[MSOL over strings]]   * [[MSOL over strings]]
- 
-  * [[Using automata to decide MSOL over finite strings]] 
-  * [[Regular expressions for automata with parallel inputs]] 
-  * [[Expressing finite automata in MSOL over strings]] 
-  * [[Expressing regular expressions in MSOL over strings]] 
- 
-  * [[Encoding lists using MSOL over strings]] 
-  * Tree automata 
-  * Field constraint analysis 
  
 Automata and languages: Automata and languages:
 
sav07_lecture_16.txt · Last modified: 2007/05/10 18:38 by vkuncak
 
© EPFL 2018 - Legal notice