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