Logical foundations of computer science: international symposium, lfcs 2016, deerfield beach, fl, usa, january 4-7, 2016. proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319276823
Date de publication :
10 déc. 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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;