by Anil Nerode (Series Editor), SergeiArtemov (Editor)
This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. domain theory logics; logicalfoundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics;
Format: Paperback
Pages: 420
Edition: 1st ed. 2016
Publisher: Springer
Published: 17 Jan 2016
ISBN 10: 3319276824
ISBN 13: 9783319276823