Related Books
Language: en
Pages: 580
Pages: 580
Type: BOOK - Published: 2005-12-07 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 25th International Conference on the Foundations of Software Technology and Theoretical Computer Science,
Language: en
Pages: 571
Pages: 571
Type: BOOK - Published: 2007-11-27 - Publisher: Springer
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science,
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: 2006-11-30 - Publisher: Springer
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science,
Language: en
Pages: 580
Pages: 580
Type: BOOK - Published: 2005-12-06 - Publisher: Springer
This book constitutes the refereed proceedings of the 25th International Conference on the Foundations of Software Technology and Theoretical Computer Science,
Language: en
Pages: 183
Pages: 183
Type: BOOK - Published: 2006-09-08 - Publisher: Springer Science & Business Media
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of dis
