Computer Science Logic 2017
Valentin Goranko, Mads Dam · Computer Science Logic · 2017
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and applicati ...