| Author(s) | Schwabe, Kerstin |
| Date of publication | 2019 |
| Compilation title | Language, Logic, and Computation. 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers |
| Series title | Lecture Notes in Computer Science (LNCS) 11456 |
| Editor(s) | Silva, Alexandra, Sam Statton, Peter Sutton & Carla Umbach (eds.) |
| Pages | 253-274 |
| Publisher website | |
| https://doi.org/10.1007/978-3-662-59565-7_13 | |
| Peer-reviewed |
This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation.