TbiLLC 2011: Kutaisi, Georgia

Summaries of Tutorials

Contributions in Language

Contributions in Logic and Computation