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 (Record no. 34481)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03633naaaa2200709uu 4500 |
| 001 - CONTROL NUMBER | |
| control field | https://directory.doabooks.org/handle/20.500.12854/67965 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 978-3-030-71995-1 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783030719951 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-030-71995-1 |
| Terms of availability | doi |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | English |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | dc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UY |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UN |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UM |
| Source | bicssc |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Kiefer, Stefan |
| Relationship | edt |
| 245 10 - TITLE STATEMENT | |
| Title | 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 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Springer Nature |
| Date of publication, distribution, etc. | 2021 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 electronic resource (574 p.) |
| 506 0# - RESTRICTIONS ON ACCESS NOTE | |
| Terms governing access | Open Access |
| Source of term | star |
| Standardized terminology for access restriction | Unrestricted online access |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This 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. |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE | |
| Terms governing use and reproduction | Creative Commons |
| Use and reproduction rights | https://creativecommons.org/licenses/by/4.0/ |
| Source of term | cc |
| -- | https://creativecommons.org/licenses/by/4.0/ |
| 546 ## - LANGUAGE NOTE | |
| Language note | English |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Artificial intelligence |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Databases |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programming / software development |
| Source of heading or term | bicssc |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Mathematical Logic and Formal Languages |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Theory of Computation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Natural Language Processing (NLP) |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Database Management |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Programming Techniques |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Formal Languages and Automata Theory |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | automata theory |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | databases |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal languages |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal logic |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | computational linguistics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | open access |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | semantics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | categorical models and logics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | language theory, automata, and games |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | modal, spatial, and temporal logics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | type theory and proof theory |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | concurrency theory and process calculi |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | rewriting theory |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | logical foundations of data bases |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | models of software security |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | logical aspects of computation complexity |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | logics of programming |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Mathematical theory of computation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer science |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Natural language & machine translation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Database programming |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer programming / software engineering |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Tasson, Christine |
| Relationship | edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kiefer, Stefan |
| Relationship | oth |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Tasson, Christine |
| Relationship | oth |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/48218/1/9783030719951.pdf">https://library.oapen.org/bitstream/20.500.12657/48218/1/9783030719951.pdf</a> |
| Access status | 0 |
| Public note | DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/48218/1/9783030719951.pdf">https://library.oapen.org/bitstream/20.500.12657/48218/1/9783030719951.pdf</a> |
| Access status | 0 |
| Public note | DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://directory.doabooks.org/handle/20.500.12854/67965">https://directory.doabooks.org/handle/20.500.12854/67965</a> |
| Access status | 0 |
| Public note | DOAB: description of the publication |
No items available.