Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

• Main Authors: Workshop on Logic, Language, Information and Computation, Moss, Lawrence Stuart, Queiroz, Ruy de, Martinez, Maricarmen
• Format: eBook Book
• Language: English
• Published: Netherlands Springer Nature 2018; Springer; Springer Berlin / Heidelberg
• Edition: 1
• Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues
• Subjects: (BIC subject category)UYA; (BISAC Subject Heading)MAT018000; (BISAC Subject Heading)UYA; (Produktform)Paperback / softback; (Springer Nature Marketing Classification)C; (Springer Nature Subject Code)SCI16048: Mathematical Logic and Formal Languages; (Springer Nature Subject Collection)SUCO11645: Computer Science; (VLB-WN)1632: Hardcover, Softcover / Informatik, EDV/Informatik; Applications; Computer Science; Informatics; Logic, Symbolic and mathematical-Congresses; Logik; Mathematics. General principles; Programmiersprache; Theoretische Informatik
• ISBN: 9783662576694; 3662576694; 9783662576687; 3662576686

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation.