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.