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:36] jobstman |
lat [2011/03/01 20:51] jobstman |
||
---|---|---|---|
Line 19: | Line 19: | ||
**Bibliography** | **Bibliography** | ||
- | - M. Vardi. [[http://www.cs.rice.edu/~vardi/papers/icla09.pdf/|From Philosophical to Industrial Logics]] {{slides.pdf}} | + | - M. Vardi. [[http://www.cs.rice.edu/~vardi/papers/icla09.pdf/|From Philosophical to Industrial Logics]] {{:slides.pdf|}} |
- W. Thomas. Handbook of Theoretical Computer Science, Volume B, Chapter 4. Automata on Infinite Objects | - W. Thomas. Handbook of Theoretical Computer Science, Volume B, Chapter 4. Automata on Infinite Objects | ||
- B. Khoussainov and A. Nerode. Automata Theory and its Applications. ISBN 0-8176-4207-2 | - B. Khoussainov and A. Nerode. Automata Theory and its Applications. ISBN 0-8176-4207-2 | ||
- 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 30: | Line 30: | ||
- V. Bruyere, G. Hansel, C. Michaux and R. Villemairez. Logic and p-Recognizable Sets of Integers. {{BRU.pdf}} | - V. Bruyere, G. Hansel, C. Michaux and R. Villemairez. Logic and p-Recognizable Sets of Integers. {{BRU.pdf}} | ||
- M. Jurdzinski, J. Voege. A Discrete Stratety Improvement Algorithm for Solving Parity Games. [[http://www.brics.dk/RS/00/48/BRICS-RS-00-48.pdf|pdf]] | - M. Jurdzinski, J. Voege. A Discrete Stratety Improvement Algorithm for Solving Parity Games. [[http://www.brics.dk/RS/00/48/BRICS-RS-00-48.pdf|pdf]] | ||
- | - U. Zwick and M. Paterson. The Complexity of Mean Payoff Games. {{:snsb_course:mean-payoff.pdf|}} | + | - U. Zwick and M. Paterson. The Complexity of Mean Payoff Games. {{:mean-payoff.pdf|}} |
- Note about Karp's minimal mean-cycle algorithm. [[http://webcourse.cs.technion.ac.il/236359/Spring2010/ho/WCFiles/MMC.ps|ps]] | - Note about Karp's minimal mean-cycle algorithm. [[http://webcourse.cs.technion.ac.il/236359/Spring2010/ho/WCFiles/MMC.ps|ps]] | ||
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) : | ||
- | - //Monday.// Introduction, First and Second Order Logics {{w1_mon.pdf}} (4h, Radu Iosif) | + | - //Monday.// Introduction, First and Second Order Logics {{:w1_mon.pdf|}} (4h, Radu Iosif) |
- | - //Tuesday.// Automata on Finite Words. Definitions of Recognizability {{w1_tue.pdf}} (4h, Radu Iosif) | + | - //Tuesday.// Automata on Finite Words. Definitions of Recognizability {{:w1_tue.pdf|}} (4h, Radu Iosif) |
- | - //Wednesday.// Regular, Star Free and Aperiodic Languages {{w1_wed.pdf}} (4h, Radu Iosif) | + | - //Wednesday.// Regular, Star Free and Aperiodic Languages {{:w1_wed.pdf|}} (4h, Radu Iosif) |
- | - //Thursday.// Automata on Infinite Words {{w1_thu.pdf}} (4h, Radu Iosif) | + | - //Thursday.// Automata on Infinite Words {{:w1_thu.pdf|}} (4h, Radu Iosif) |
- | - //Friday.// The McNaughton, Buechi and Ramsey Theorems {{w1_fri.pdf}} (4h, Radu Iosif) | + | - //Friday.// The McNaughton, Buechi and Ramsey Theorems {{:w1_fri.pdf|}} (4h, Radu Iosif) |
- | - //Saturday.// Linear Temporal Logic {{w1_sat.pdf}} (4h, Radu Iosif) | + | - //Saturday.// Linear Temporal Logic {{:w1_sat.pdf|}} (4h, Radu Iosif) |
**Outline of the second week** (24/05/2010 - 29/05/2010) : | **Outline of the second week** (24/05/2010 - 29/05/2010) : |