Show simple item record

Foundations of Software Science and Computation Structures

24th 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.contributor.editorKiefer, Stefan
dc.contributor.editorTasson, Christine
dc.date.accessioned2021-04-20T12:47:34Z
dc.date.available2021-04-20T12:47:34Z
dc.date.issued2021
dc.identifierONIX_20210420_9783030719951_14
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/48218
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.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer scienceen_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::UN Databasesen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineeringen_US
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.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy78d37288-5df6-4c27-88a4-b5d766b84435
oapen.relation.isbn9783030719951
oapen.imprintSpringer
oapen.series.number12650
oapen.pages574
oapen.grant.number[grantnumber unknown]


Files in this item

Thumbnail
Name:
9783030719951.pdf
Size:
6.862Mb
Format:
PDF
ISBN:
9783030719951
License:
https://creativecommons.org/li ...
Webshop link:
https://www.springer.com/97830 ...
View/Open

This item appears in the following Collection(s)

Show simple item record