000 | 04435nam a22006615i 4500 | ||
---|---|---|---|
001 | 978-3-030-45231-5 | ||
003 | DE-He213 | ||
005 | 20210511115947.0 | ||
007 | cr nn 008mamaa | ||
008 | 200417s2020 gw | s |||| 0|eng d | ||
020 |
_a9783030452315 _9978-3-030-45231-5 |
||
024 | 7 |
_a10.1007/978-3-030-45231-5 _2doi |
|
050 | 4 | _aQA8.9-10.3 | |
072 | 7 |
_aPBC _2bicssc |
|
072 | 7 |
_aMAT018000 _2bisacsh |
|
072 | 7 |
_aPBC _2thema |
|
072 | 7 |
_aPBCD _2thema |
|
082 | 0 | 4 |
_a511.3 _223 |
245 | 1 | 0 |
_aFoundations of Software Science and Computation Structures _h[electronic resource] : _b23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / _cedited by Jean Goubault-Larrecq, Barbara König. |
250 | _a1st ed. 2020. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020. |
|
300 |
_aXV, 644 p. 1 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues ; _v12077 |
|
506 | 0 | _aOpen Access | |
520 | _aThis open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases. | ||
650 | 0 |
_aMathematical logic. _9655 |
|
650 | 0 |
_aComputer science—Mathematics. _9890 |
|
650 | 0 |
_aProgramming languages (Electronic computers). _9202 |
|
650 | 0 |
_aComputer programming. _9203 |
|
650 | 0 |
_aArtificial intelligence. _93318 |
|
650 | 0 |
_aComputer logic. _92144 |
|
650 | 0 |
_aComputer organization. _92988 |
|
650 | 1 | 4 |
_aMathematical Logic and Foundations. _0https://scigraph.springernature.com/ontologies/product-market-codes/M24005 _9657 |
650 | 2 | 4 |
_aDiscrete Mathematics in Computer Science. _0https://scigraph.springernature.com/ontologies/product-market-codes/I17028 _9893 |
650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 _9205 |
650 | 2 | 4 |
_aProgramming Techniques. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14010 _9206 |
650 | 2 | 4 |
_aLogic in AI. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21020 _93271 |
650 | 2 | 4 |
_aComputer Systems Organization and Communication Networks. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13006 _92993 |
700 | 1 |
_aGoubault-Larrecq, Jean. _eeditor. _0(orcid)0000-0001-5879-3304 _1https://orcid.org/0000-0001-5879-3304 _4edt _4http://id.loc.gov/vocabulary/relators/edt _93319 |
|
700 | 1 |
_aKönig, Barbara. _eeditor. _0(orcid)0000-0002-4193-2889 _1https://orcid.org/0000-0002-4193-2889 _4edt _4http://id.loc.gov/vocabulary/relators/edt _93321 |
|
710 | 2 |
_aSpringerLink (Online service) _9141 |
|
776 | 0 | 8 |
_iPrinted edition: _z9783030452308 |
776 | 0 | 8 |
_iPrinted edition: _z9783030452322 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v12077 _92536 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-45231-5 |
912 | _aZDB-2-SMA | ||
912 | _aZDB-2-SXMS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-SOB | ||
942 |
_cEBK _w1 _xAdministrator Library _y1 _z Administrator Library |
||
999 |
_c726 _d726 |
||
773 | _tSpringer Nature Open Access eBook |