000 03700nam a22006735i 4500
001 978-3-030-45231-5
003 DE-He213
005 20240508090327.0
007 cr nn 008mamaa
008 200417s2020 sz | 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 _aPBCD
_2bicssc
072 7 _aPBC
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aPBCD
_2thema
072 7 _aPBC
_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,
_x2512-2029 ;
_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; modelsof software security; and logical foundations of data bases.
650 0 _aMathematical logic.
650 0 _aComputer science
_xMathematics.
650 0 _aDiscrete mathematics.
650 0 _aCompilers (Computer programs).
650 0 _aComputer programming.
650 0 _aLogic programming.
650 0 _aComputer engineering.
650 0 _aComputer networks .
650 1 4 _aMathematical Logic and Foundations.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aProgramming Techniques.
650 2 4 _aLogic in AI.
650 2 4 _aComputer Engineering and Networks.
700 1 _aGoubault-Larrecq, Jean.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aKönig, Barbara.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030452308
776 0 8 _iPrinted edition:
_z9783030452322
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v12077
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
999 _c37737
_d37737