Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Ein umfassendes Sammelwerk aus dem internationalen Symposium zur logischen Grundlagenforschung 2016, das aktuelle Forschungsergebnisse zu Logik, Berechenbarkeit und formalen Modellen präsentiert.

Teilen: