25th workshop on logic, language, information and computation (WoLLIC 2018). (English) Zbl 1425.00144
Abstracts of invited and contributed talks.
MSC:
00B05 | Collections of abstracts of lectures |
03-06 | Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations |
68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |