wikidata.org
Foundations of Software Science and Computation Structure
container_lliksjpywfcx3dtw7aj2vkybvi
Homepage URLs
http://www.wikicfp.com/cfp/program?id=1079 |
Example Publications
The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains [chapter]
Mnacho Echenim, Radu Iosif, Nicolas Peltier
2019
|
Foundations of Software Science and Computation Structure
doi:10.1007/978-3-030-17127-8_14 dblp:conf/fossacs/EchenimIP19
Languages Ordered by the Subword Order [chapter]
Dietrich Kuske, Georg Zetzsche
2019
|
Foundations of Software Science and Computation Structure
doi:10.1007/978-3-030-17127-8_20 dblp:conf/fossacs/KuskeZ19
The Impatient May Use Limited Optimism to Minimize Regret [chapter]
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
2019
|
Foundations of Software Science and Computation Structure
doi:10.1007/978-3-030-17127-8_8 dblp:conf/fossacs/CadilhacPB19
Causality in Linear Logic [chapter]
Simon Castellan, Nobuko Yoshida
2019
|
Foundations of Software Science and Computation Structure
doi:10.1007/978-3-030-17127-8_9 dblp:conf/fossacs/CastellanY19
Change Actions: Models of Generalised Differentiation [chapter]
Mario Alvarez-Picallo, C.-H. Luke Ong
2019
|
Foundations of Software Science and Computation Structure
doi:10.1007/978-3-030-17127-8_3 dblp:conf/fossacs/Alvarez-Picallo19