Show simple item record

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.classificationbic Book Industry Communication::P Mathematics & science::PB Mathematics::PBC Mathematical foundations
dc.subject.classificationbic Book Industry Communication::P Mathematics & science::PB Mathematics::PBD Discrete mathematics
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UM Computer programming / software development
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UT Computer networking & communications
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


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access