TbiLLC 2011: Kutaisi, Georgia

Summaries of Tutorials

Contributions in Language

Contributions in Logic and Computation

a service of Schloss Dagstuhl - Leibniz Center for Informatics