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 (Record no. 54314)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04534naaaa2200805uu 4500 |
| 001 - CONTROL NUMBER | |
| control field | https://directory.doabooks.org/handle/20.500.12854/35090 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 978-3-030-45231-5 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-030-45231-5 |
| 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 | PBC |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PBD |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMX |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UM |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UT |
| Source | bicssc |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Goubault-Larrecq, Jean |
| Relationship | edt |
| 245 10 - TITLE STATEMENT | |
| Title | 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 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cham |
| Name of publisher, distributor, etc. | Springer Nature |
| Date of publication, distribution, etc. | 2020 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 electronic resource (644 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 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. |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE | |
| Terms governing use and reproduction | Creative Commons |
| Use and reproduction rights | by/4.0/ |
| Source of term | cc |
| -- | http://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 | Mathematical foundations |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Discrete mathematics |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Programming & scripting languages: general |
| 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 |
| 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 | Computer networking & communications |
| Source of heading or term | bicssc |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Mathematical Logic and Foundations |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Discrete Mathematics in Computer Science |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Programming Languages, Compilers, Interpreters |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Programming Techniques |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Logic in AI |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer Systems Organization and Communication Networks |
| 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 | semantics of programming languages |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | program analysis, correctness, transformation, and verification |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | logics of programming |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | software specification and refinement |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | emerging models of computation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | logical aspects of computational complexity |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | models of software security |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | logical foundations of data bases |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | mathematics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | artificial intellegence |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal logic |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | linguistics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Mathematical foundations |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Mathematical logic |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Discrete mathematics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Maths for computer scientists |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Programming & scripting languages: general |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Compilers & interpreters |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer programming / software engineering |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Artificial intelligence |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer networking & communications |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | König, Barbara |
| Relationship | edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Goubault-Larrecq, Jean |
| Relationship | oth |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | König, Barbara |
| 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/37723/1/2020_Book_FoundationsOfSoftwareScienceAn.pdf">https://library.oapen.org/bitstream/20.500.12657/37723/1/2020_Book_FoundationsOfSoftwareScienceAn.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/37723/1/2020_Book_FoundationsOfSoftwareScienceAn.pdf">https://library.oapen.org/bitstream/20.500.12657/37723/1/2020_Book_FoundationsOfSoftwareScienceAn.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/35090">https://directory.doabooks.org/handle/20.500.12854/35090</a> |
| Access status | 0 |
| Public note | DOAB: description of the publication |
No items available.