Afficher la notice abrégée

Foundations of Software Science and Computation Structures

23rd 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

dc.contributor.editorGoubault-Larrecq, Jean
dc.contributor.editorKönig, Barbara
dc.date.issued2020
dc.date.submitted2020-05-13T14:21:53Z
dc.identifierONIX_20200513_9783030452315_23
dc.identifierhttp://library.oapen.org/handle/20.500.12657/37723
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/35090
dc.description.abstractThis 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.​
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Theoretical Computer Science and General Issues
dc.rightsopen access
dc.subject.classificationthema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundationsen_US
dc.subject.classificationthema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematicsen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: generalen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineeringen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligenceen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UT Computer networking and communicationsen_US
dc.subject.otherMathematical Logic and Foundations
dc.subject.otherDiscrete Mathematics in Computer Science
dc.subject.otherProgramming Languages, Compilers, Interpreters
dc.subject.otherProgramming Techniques
dc.subject.otherLogic in AI
dc.subject.otherComputer Systems Organization and Communication Networks
dc.subject.othercategorical models and logics
dc.subject.otherlanguage theory, automata, and games
dc.subject.othermodal, spatial, and temporal logics
dc.subject.othertype theory and proof theory
dc.subject.otherconcurrency theory and process calculi
dc.subject.otherrewriting theory
dc.subject.othersemantics of programming languages
dc.subject.otherprogram analysis, correctness, transformation, and verification
dc.subject.otherlogics of programming
dc.subject.othersoftware specification and refinement
dc.subject.otheremerging models of computation
dc.subject.otherlogical aspects of computational complexity
dc.subject.othermodels of software security
dc.subject.otherlogical foundations of data bases
dc.subject.othermathematics
dc.subject.otherartificial intellegence
dc.subject.otherformal logic
dc.subject.otherlinguistics
dc.subject.otherMathematical foundations
dc.subject.otherMathematical logic
dc.subject.otherDiscrete mathematics
dc.subject.otherMaths for computer scientists
dc.subject.otherProgramming & scripting languages: general
dc.subject.otherCompilers & interpreters
dc.subject.otherComputer programming / software engineering
dc.subject.otherArtificial intelligence
dc.subject.otherComputer networking & communications
dc.titleFoundations of Software Science and Computation Structures
dc.title.alternative23rd 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
dc.typebook
oapen.identifier.doi10.1007/978-3-030-45231-5
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.imprintSpringer
oapen.pages644
oapen.place.publicationCham
dc.seriesnumber12077


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

open access
Excepté là où spécifié autrement, la license de ce document est décrite en tant que open access