Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings (Lecture Notes in Computer Science)
In den Proceedings der sechsten ICLA-Konferenz werden aktuelle Forschungsergebnisse aus Logiktheorie und deren Anwendungen vorgestellt, von formalen S ...