Explore
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
2018
0 Ungluers have
Faved this Work
Login to Fave
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 507 times via unglue.it ebook links.
- 71 - epub (CC BY) at Unglue.it.
- 88 - mobi (CC BY) at Unglue.it.
- 233 - epub (CC BY) at Unglue.it.
Keywords
- artificial intelligence
- Computer software
- formal logic
- Graph theory
- modal logic
- Petri nets
- program compilers
- programming language
- selection and evaluation
- Semantics
- separation logic
- Software engineering
- theorem proving
- type systems
- Verification
Editions