Lab for Automated Reasoning and Analysis LARA


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

Link to this comparison view

Both sides previous revision Previous revision
sav08:lecture23 [2009/04/17 15:17]
sav08:lecture23 [2009/04/17 15:24] (current)
Line 2: Line 2:
 [[Weak Monadic Logic of One Successor]] [[Weak Monadic Logic of One Successor]]
-[[Projection of Automata]] 
 [[Using Automata to Decide WS1S]] [[Using Automata to Decide WS1S]]
 [[Remarks on WS1S Complexity]] [[Remarks on WS1S Complexity]]
 +[[Projection of Automata]]
 [[:​Expressing finite automata in MSOL over strings]] [[:​Expressing finite automata in MSOL over strings]]
sav08/lecture23.txt · Last modified: 2009/04/17 15:24 by vkuncak
© EPFL 2018 - Legal notice