-
Foundations of software science and computation structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedingsInternational Conference on Foundations of Software Science and Computation Structures (19 ; 2016 ; Eindhoven)This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, ... in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.Type of material - proceedings of conference contributions ; adult, seriousPublication and manufacture - Berlin ; Heidelberg : Springer Nature, cop. 2016Language - englishISBN - 978-3-662-49629-9; 978-3-662-49630-5COBISS.SI-ID - 18327129
Author
International Conference on Foundations of Software Science and Computation Structures
Other authors
Jacobs, Bart |
Löding, Christof
Collection
Lecture notes in computer science
Topics
formal languages |
modal logics |
semantics |
timed models |
type theory |
automata theory |
coalgebra |
hybrid models |
implicit complexity |
lambda calculus |
logic programming |
model checking |
parameterized distributed systems |
proof theory |
rewrite systems |
temporal logics
![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 |
---|---|
Jacobs, Bart | ![]() |
Löding, Christof | ![]() |
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.