Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September ... Notes in Computer Science, Band 8984)
von: Martin Aher · Daniel Hole · Emil Jeřábek · Clemens Kupke