Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
This volume contains the papers presented at the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), which took place in Prague during April 8–11, 2019. The conference is dedicated to foundational research with a clear significance for software science. It brings together research on theories and methods to support the analysis, integ
Why read this book? Have your say.
You must be logged in to comment.
Rights InformationAre you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.
- 42 - mobi (CC BY) at Unglue.it.
- 35 - pdf (CC BY) at Unglue.it.
- 40 - epub (CC BY) at Unglue.it.
- artificial intelligence
- first order logic
- Formal languages
- formal logic
- Graph theory
- Programming languages