| 000 | 02423naaaa2200457uu 4500 | ||
|---|---|---|---|
| 001 | https://directory.doabooks.org/handle/20.500.12854/47957 | ||
| 005 | 20220220050923.0 | ||
| 020 | _a/doi.org/10.1007/978-3-319-89366-2 | ||
| 020 | _a9783319893662 | ||
| 020 | _a9783319893655 | ||
| 024 | 7 |
_ahttps://doi.org/10.1007/978-3-319-89366-2 _cdoi |
|
| 041 | 0 | _aEnglish | |
| 042 | _adc | ||
| 100 | 1 |
_aUgo Dal Lago _4auth |
|
| 700 | 1 |
_aChristel Baier _4auth |
|
| 245 | 1 | 0 | _aFoundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings |
| 260 |
_bSpringer Nature _c2018 |
||
| 300 | _a1 electronic resource (583 p.) | ||
| 506 | 0 |
_aOpen Access _2star _fUnrestricted online access |
|
| 520 | _aThis book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata. | ||
| 536 | _aETAPS e.V. | ||
| 540 |
_aCreative Commons _fhttps://creativecommons.org/licenses/by/4.0/ _2cc _4https://creativecommons.org/licenses/by/4.0/ |
||
| 546 | _aEnglish | ||
| 653 | _agraph theory | ||
| 653 | _acomputer software | ||
| 653 | _asemantics | ||
| 653 | _amodal logic | ||
| 653 | _aprogram compilers | ||
| 653 | _aartificial intelligence | ||
| 653 | _atype systems | ||
| 653 | _aformal logic | ||
| 653 | _apetri nets | ||
| 653 | _aseparation logic | ||
| 653 | _aprogramming language | ||
| 653 | _asoftware engineering | ||
| 653 | _atheorem proving | ||
| 653 | _aselection and evaluation | ||
| 653 | _averification | ||
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://link.springer.com/book/10.1007/978-3-319-89366-2 _70 _zDOAB: download the publication |
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://directory.doabooks.org/handle/20.500.12854/47957 _70 _zDOAB: description of the publication |
| 999 |
_c67023 _d67023 |
||