| 000 | 03931naaaa2200817uu 4500 | ||
|---|---|---|---|
| 001 | https://library.oapen.org/handle/20.500.12657/48218 | ||
| 005 | 20230323120730.0 | ||
| 003 | oapen | ||
| 006 | m o d | ||
| 007 | cr|mn|---annan | ||
| 008 | 20210420s2021 xx |||||o ||| 0|eng d | ||
| 020 | _a978-3-030-71995-1 | ||
| 020 | _a9783030719951 | ||
| 040 |
_aoapen _coapen |
||
| 024 | 7 |
_a10.1007/978-3-030-71995-1 _cdoi |
|
| 041 | 0 | _aeng | |
| 042 | _adc | ||
| 072 | 7 |
_aUY _2bicssc |
|
| 072 | 7 |
_aUYQ _2bicssc |
|
| 072 | 7 |
_aUN _2bicssc |
|
| 072 | 7 |
_aUM _2bicssc |
|
| 100 | 1 |
_aKiefer, Stefan _4edt |
|
| 700 | 1 |
_aTasson, Christine _4edt |
|
| 700 | 1 |
_aKiefer, Stefan _4oth |
|
| 700 | 1 |
_aTasson, Christine _4oth |
|
| 245 | 1 | 0 |
_aFoundations of Software Science and Computation Structures _b24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings |
| 260 |
_bSpringer Nature _c2021 |
||
| 300 | _a1 electronic resource (574 p.) | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aLecture Notes in Computer Science; Theoretical Computer Science and General Issues _v12650 |
|
| 506 | 0 |
_aOpen Access _2star _fUnrestricted online access |
|
| 520 | _aThis open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. | ||
| 540 |
_aCreative Commons _fhttps://creativecommons.org/licenses/by/4.0/ _2cc _4https://creativecommons.org/licenses/by/4.0/ |
||
| 546 | _aEnglish | ||
| 650 | 7 |
_aComputer science _2bicssc |
|
| 650 | 7 |
_aArtificial intelligence _2bicssc |
|
| 650 | 7 |
_aDatabases _2bicssc |
|
| 650 | 7 |
_aComputer programming / software development _2bicssc |
|
| 653 | _aMathematical Logic and Formal Languages | ||
| 653 | _aTheory of Computation | ||
| 653 | _aNatural Language Processing (NLP) | ||
| 653 | _aDatabase Management | ||
| 653 | _aProgramming Techniques | ||
| 653 | _aFormal Languages and Automata Theory | ||
| 653 | _aautomata theory | ||
| 653 | _adatabases | ||
| 653 | _aformal languages | ||
| 653 | _aformal logic | ||
| 653 | _acomputational linguistics | ||
| 653 | _aopen access | ||
| 653 | _asemantics | ||
| 653 | _acategorical models and logics | ||
| 653 | _alanguage theory, automata, and games | ||
| 653 | _amodal, spatial, and temporal logics | ||
| 653 | _atype theory and proof theory | ||
| 653 | _aconcurrency theory and process calculi | ||
| 653 | _arewriting theory | ||
| 653 | _alogical foundations of data bases | ||
| 653 | _amodels of software security | ||
| 653 | _alogical aspects of computation complexity | ||
| 653 | _alogics of programming | ||
| 653 | _aMathematical theory of computation | ||
| 653 | _aComputer science | ||
| 653 | _aNatural language & machine translation | ||
| 653 | _aDatabase programming | ||
| 653 | _aComputer programming / software engineering | ||
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://library.oapen.org/bitstream/id/48d2e368-57a1-4b44-8884-6ed2ef43beb5/9783030719951.pdf _70 _zOAPEN Library: download the publication |
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://library.oapen.org/handle/20.500.12657/48218 _70 _zOAPEN Library: description of the publication |
| 999 |
_c6154 _d6154 |
||
| 909 |
_a4 _bDarya Shvetsova _c4 _dDarya Shvetsova |
||