Valeria de Paiva, Ruy de Queiroz
2019 Mathematical Structures in Computer Science  
This volume collects together extended and improved versions of papers presented at the twentysecond Workshop on Logic, Language, Information and, Computation (WoLLIC 2015) held at the School of Informatics and Computing, Indiana University, Bloomington, Indiana. WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as
more » ... d papers. Contributions were invited on all appropriate subjects of Logic, Language, Information, and Computation, with particular interest in cross-disciplinary topics.
doi:10.1017/s0960129518000373 fatcat:nayksjkb5jctzd4rupvwk2brtm