Language, logic, and computation. 12th international Tbilisi symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18--22, 2017, Revised selected papers
scientific article