Description
About this book
This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA…
Catalogue preview, eBooks.com
Edition details
- Author / contributors: Sergei Artemov (Editor); Anil Nerode (Editor)
- Publisher: Springer International Publishing
- Publication date: December 14, 2015
- Language: English
- ISBNs: 9783319276823; 9783319276830
- Digital formats: PDF





Reviews
There are no reviews yet.