| Autor(en) | Schwabe, Kerstin |
| Erscheinungsdatum | 2019 |
| Titel des Sammelwerkes | Language, Logic, and Computation. 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers |
| Titel der Reihe | Lecture Notes in Computer Science (LNCS) 11456 |
| Herausgeber | Silva, Alexandra, Sam Statton, Peter Sutton & Carla Umbach (eds.) |
| Seiten | 253-274 |
| Verlagsseite | |
| 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.