Front Matter, Table of Contents, Preface, Conference Organization

Maribel Fernández, Anca Muscholl, Michael Wagner
2020 Annual Conference for Computer Science Logic  
doi:10.4230/lipics.csl.2020.0 dblp:conf/csl/X20 fatcat:xrswfikjybh4pjsl7h6fd2vt24