Topics in Theoretical Computer Science
This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.
| ISBN: | 9783319689524 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 125 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Mousavi, Mohammad Reza Sgall, Jirí |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 14.10.2017 |
| Untertitel: | Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings |
| Schlagworte: | algorithms complexity formal methods formal semantics graph theory logic parallel processing systems programming languages theoretical computer science type theory |