in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 10388, Páginas: 242-255 (14)
Conference
24Th International Workshop on Logic, Language, Information, and Computation (Wollic), Date: JUL 18-21, 2017, Location: Univ Coll London, Dept Comp Sci, London, ENGLAND, Patrocinadores: European Assoc Comp Sci Log, Interest Grp Pure & Appl Log, Assoc Log Language & Informat, Assoc Symbol Log, European Assoc Theoret Comp Sci, Soc Brasileira Computacao, Soc Brasileira Logica, Host: Univ Coll London, Dept Comp Sci