Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
lat [2011/03/01 20:41] jobstman |
lat [2011/03/01 20:44] jobstman |
||
|---|---|---|---|
| Line 24: | Line 24: | ||
| - D. Perrin and J.E. Pin. Infinite Words. ISBN 0-12-532111-2 | - D. Perrin and J.E. Pin. Infinite Words. ISBN 0-12-532111-2 | ||
| - [[http://tata.gforge.inria.fr/|Tree Automata Techniques and Applications]] Collective Online Book | - [[http://tata.gforge.inria.fr/|Tree Automata Techniques and Applications]] Collective Online Book | ||
| - | - M. Vardi. The Buchi Complementation Saga. {{stacs07.pdf}} | + | - M. Vardi. The Buchi Complementation Saga. {{:stacs07.pdf|}} |
| - S. Schewe. Büchi complementation made tight. [[http://arxiv.org/PS_cache/arxiv/pdf/0902/0902.2152v1.pdf|STACS 2009]] | - S. Schewe. Büchi complementation made tight. [[http://arxiv.org/PS_cache/arxiv/pdf/0902/0902.2152v1.pdf|STACS 2009]] | ||
| - A genealogy of LTL to Buechi automata translations [[http://spot.lip6.fr/wiki/LtlTranslationAlgorithms]] | - A genealogy of LTL to Buechi automata translations [[http://spot.lip6.fr/wiki/LtlTranslationAlgorithms]] | ||
| Line 46: | Line 46: | ||
| ===== SNBS ===== | ===== SNBS ===== | ||
| + | |||
| + | [[http://www.imar.ro/~purice/SNS/homepage/index_eng.php3|Scoala Normala Superioara Bucharest (SNSB)]] | ||
| + | |||
| **Outline of the first week** (19/04/2010 - 24/04/2010) : | **Outline of the first week** (19/04/2010 - 24/04/2010) : | ||