-
Foundations of software science and computation structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedingsInternational Conference on Foundations of Software Science and Computation Structures (20 ; 2017 ; Uppsala)This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April ... 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.Type of material - proceedings of conference contributions ; adult, seriousPublication and manufacture - Berlin : Springer Nature, cop. 2017Language - englishISBN - 978-3-662-54457-0; 978-3-662-54458-7COBISS.SI-ID - 18327641
Author
International Conference on Foundations of Software Science and Computation Structures
Other authors
Esparza, Javier |
Murawski, Andrzej S.
Collection
Lecture notes in computer science
Topics
software engineering |
formal logic |
mathematical logic |
formal languages |
programming languages |
compilers |
interpreters |
finite automata |
coalgebra |
numerical methods |
Markov chains |
probability |
semantics |
satisfiability problems |
artificial intelligence |
context free languages
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Esparza, Javier | ![]() |
Murawski, Andrzej S. | ![]() |
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.