default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTbiLLC 2019: Batumi, Georgia
- Aybüke Özgün, Yulia Zinova:
Language, Logic, and Computation - 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers. Lecture Notes in Computer Science 13206, Springer 2022, ISBN 978-3-030-98478-6
Language and Logic
- Nino Amiridze
:
Final-Vowel Truncation in the Forms of Address in Modern Spoken Georgian. 3-25 - Fabian Bross:
Tutorial: Sign Language Linguistics. 26-37 - Stergios Chatzikyriakidis, Zhaohui Luo:
Gradability in MTT-Semantics. 38-59 - Oleg Kapanadze, Gideon Kotzé, Thomas Hanneforth:
Building Resources for Georgian Treebanking-Based NLP. 60-78 - Ralf Naumann, Wiebke Petersen:
Bridging the Gap Between Formal Semantics and Neurolinguistics: The Case of the N400 and the LPP. 79-112 - Sebastian Padó, Daniel Hole:
Distributional Analysis of Polysemous Function Words. 113-127 - Swantje Tönnis:
It is not the Obvious Question that a Cleft Addresses. 128-147 - Thomas Ede Zimmermann:
Extensions in Compositional Semantics. 148-172 - Malte Zimmermann, Lea Fricke, Edgar Onea:
Embedded Questions are Exhaustive Alright, but... 173-194
Logic and Computation
- Bahareh Afshari, Graham E. Leigh:
Lyndon Interpolation for Modal μ-Calculus. 197-213 - Philippe Balbiani, Tinko Tinchev:
Decidable and Undecidable Problems for First-Order Definability and Modal Definability. 214-236 - Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González:
Topological Evidence Logics: Multi-agent Setting. 237-257 - Dragan Doder, Zoran Ognjanovic, Nenad Savic, Thomas Studer:
Incomplete Information and Justifications. 258-278 - Besik Dundua, Temur Kutsia, Mikheil Rukhaia:
Unranked Nominal Unification. 279-296 - Gianluca Grilletti, Davide Emilio Quadrellaro:
Lattices of Intermediate Theories via Ruitenburg's Theorem. 297-322 - Temur Kutsia, Cleo Pau:
Matching and Generalization Modulo Proximity and Tolerance Relations. 323-342 - Graham E. Leigh:
From Paradox to Truth - An Introduction to Self-reference in Formal Language. 343-353
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
