TbiLLC 2015: Tbilisi, Georgia

Language and Logic

Logic and Computation

maintained by Schloss Dagstuhl LZI at University of Trier