02912nam0 22005893i 450 VAN024917320230530094757.56N978303045231520220805d2020 |0itac50 baengCH|||| |||||Foundations of Software Science and Computation Structures23. 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, ProceedingsJean Goubault-Larrecq, Barbara König editorsChamSpringer2020xv, 644 p.ill.24 cm001VAN00294382001 Lecture notes in computer science210 Berlin [etc.]Springer12077VAN0249175Foundations of Software Science and Computation Structures77218768-XXComputer science [MSC 2020]VANC019670MF68QxxTheory of computing [MSC 2020]VANC019949MF00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF68NxxTheory of software [MSC 2020]VANC027772MFArtificial intellegenceKW:KAutomataKW:KCategorical models and logicsKW:KConcurrency theory and process calculiKW:KEmerging models of computationKW:KFormal logicKW:KLanguage theoryKW:KLinguisticsKW:KLogical aspects of computational complexityKW:KLogical foundations of data basesKW:KLogics of programmingKW:KMathematicsKW:KModal, spatial and temporal logicsKW:KModels of software securityKW:KRewriting theoryKW:KSemantics of programming languagesKW:KSoftware specification and refinementKW:KType theory and proof theoryKW:Kand gamesKW:KCHChamVANL001889Goubault-LarrecqJeanVANV203828KönigBarbaraVANV203829International Conference on Foundations of Software Science and Computation Structures23.2020Dublin, IrelandVANV203830ITSOL20230602RICAhttp://doi.org/10.1007/978-3-030-45231-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0249173BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4659 08eMF4659 20220805 Foundations of Software Science and Computation Structures772187UNICAMPANIA