Logic, language, information and computation : 17th International workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010: proceedings / ed. A. Dawar, 2010 r=on-line. - Текст : электронный.
Computer science logic : 24th International workshop, CSL 2010, 19th Annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010: proceedings / ed. A. Dawar, 2010 r=on-line. - Текст : электронный.