in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969
Volume: 82
Conference
26Th Annual Eacsl Conference on Computer Science Logic, Csl 2017, Date: 20 August 2017 through 24 August 2017, Patrocinadores: Department of Theoretical;Departments of Mathematics and Philosophy;et al.;KTH Royal Institute of Technology;School of Computer Science and Communication;Stockholm University
