Show simple item record

dc.contributor.editorKiefer, Stefan
dc.contributor.editorTasson, Christine
dc.date.issued2021
dc.date.submitted2021-04-20T12:47:34Z
dc.identifierONIX_20210420_9783030719951_14
dc.identifierhttps://library.oapen.org/handle/20.500.12657/48218
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/67965
dc.description.abstractThis open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Theoretical Computer Science and General Issues
dc.rightsopen access
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science
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::UN Databases
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UM Computer programming / software development
dc.subject.otherMathematical Logic and Formal Languages
dc.subject.otherTheory of Computation
dc.subject.otherNatural Language Processing (NLP)
dc.subject.otherDatabase Management
dc.subject.otherProgramming Techniques
dc.subject.otherFormal Languages and Automata Theory
dc.subject.otherautomata theory
dc.subject.otherdatabases
dc.subject.otherformal languages
dc.subject.otherformal logic
dc.subject.othercomputational linguistics
dc.subject.otheropen access
dc.subject.othersemantics
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.otherlogical foundations of data bases
dc.subject.othermodels of software security
dc.subject.otherlogical aspects of computation complexity
dc.subject.otherlogics of programming
dc.subject.otherMathematical theory of computation
dc.subject.otherComputer science
dc.subject.otherNatural language & machine translation
dc.subject.otherDatabase programming
dc.subject.otherComputer programming / software engineering
dc.titleFoundations of Software Science and Computation Structures
dc.title.alternative24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-030-71995-1
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isFundedBy78d37288-5df6-4c27-88a4-b5d766b84435
oapen.relation.isbn9783030719951
oapen.imprintSpringer
oapen.pages574
oapen.grant.number[grantnumber unknown]
dc.relationisFundedBy78d37288-5df6-4c27-88a4-b5d766b84435
dc.seriesnumber12650


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