|
Название: Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017 Автор: Javier Esparza and Andrzej S. Murawski Издательство: Springer Год: 2017 Формат: PDF Размер: 13 Мб Язык: английский / English
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.
|
Автор: black 19-05-2019, 20:56 | Напечатать |
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
|
|
Mathematics and Computation in Music Название: Mathematics and Computation in Music Автор: Agust?n-Aquino Octavio A., Lluis-Puebla Emilio, Montiel Mariana (eds.) Издательство: Springer... |
|
|
Security, Privacy, and Anonymity in Computation, Communication, and Storage: 9th International Conference, SpaCCS 2016 Название: Security, Privacy, and Anonymity in Computation, Communication, and Storage: 9th International Conference, SpaCCS 2016 Автор: Guojun Wang... |
|
|
|
Fast Software Encryption Название: Fast Software Encryption Издательство: Springer Автор: Peyrin, Thomas Год: 2016 Количество страниц:592 Язык: English Формат:pdf... |
|
|
|
Serious Games, JCSG 2016 Название: Serious Games: Second Joint International Conference, JCSG 2016, Brisbane, QLD, Australia, September 26-27, 2016, Proceedings Автор: Tim... |
|
|
|
Compiler Construction, CC 2015 Название: Compiler Construction, CC 2015 Автор: Bjorn Franke Издательство: Springer Год: 2015 Формат: PDF, EPUB Размер: 11 Мб Язык: английский /... |
|
|
Programming Languages and Systems Название: Programming Languages and Systems Автор: Hongseok Yang Издательство: Springer Год: 2017 Формат: PDF Размер: 26,5 Мб Язык: английский /... |
|
|
|
|