Imatge de la portada

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /

This book constitutes the refereed post-conference proceedings of the 20th International Conference, LENLS20, held in Osaka, Japan, during November 18-20, 2023. The 19 full papers presented were carefully reviewed and selected from 46 submissions. The conference aims to cover the topics at the Inter...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	SpringerLink (Online service)
Altres autors:	Bekki, Daisuke (Editor), Mineshima, Koji (Editor), McCready, Elin (Editor)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edició:	1st ed. 2024.
Col·lecció:	Lecture Notes in Computer Science, 14569
Matèries:	Computer science. Computer Science Logic and Foundations of Programming.
Accés en línia:	https://doi.org/10.1007/978-3-031-60878-0
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Publicat: (2023)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Publicat: (2023)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Publicat: (2023)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Publicat: (2023)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Publicat: (2024)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Publicat: (2024)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Publicat: (2025)

Logic in Computer Science
per: Zhang, Hantao, et al.
Publicat: (2025)

Multi-valued Logic for Decision-Making Under Uncertainty
per: Kagan, Evgeny, et al.
Publicat: (2025)

Theory of Computation Automata, Formal Languages, Computation and Complexity /
per: Chowdhary, K.R
Publicat: (2025)

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings /
Publicat: (2024)

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
Publicat: (2024)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
per: Farmer, William M.
Publicat: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
per: Farmer, William M.
Publicat: (2025)

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
Publicat: (2024)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Publicat: (2025)

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
Publicat: (2023)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Publicat: (2023)

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
Publicat: (2025)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Publicat: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Publicat: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Publicat: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Publicat: (2025)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Publicat: (2023)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Publicat: (2024)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Publicat: (2025)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Publicat: (2023)

Mathematics in Programming
per: Liu, Xinyu
Publicat: (2024)

An Invitation to Mathematical Logic
per: Marker, David
Publicat: (2024)

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings /
Publicat: (2023)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Publicat: (2025)

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
Publicat: (2025)

Formal Analysis for Natural Language Processing: A Handbook
per: Feng, Zhiwei
Publicat: (2023)

New Directions in Relevant Logic
Publicat: (2025)

Semantic Intelligence Select Proceedings of ISIC 2022 /
Publicat: (2023)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Publicat: (2024)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Publicat: (2025)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Publicat: (2023)

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
Publicat: (2023)

Type-Logical Semantics / Type-Logical Semantics
per: Carpenter, Bob
Publicat: (1997)