Imatge de la portada

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023. Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	SpringerLink (Online service)
Altres autors:	Banerjee, Mohua (Editor), Sreejith, A. V. (Editor)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edició:	1st ed. 2023.
Col·lecció:	Lecture Notes in Computer Science, 13963
Matèries:	Machine theory. Mathematical logic. Logic programming. Computer systems. Application software. Software engineering. Formal Languages and Automata Theory. Mathematical Logic and Foundations. Logic in AI. Computer System Implementation. Computer and Information Systems Applications. Software Engineering.
Accés en línia:	https://doi.org/10.1007/978-3-031-26689-8
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Publicat: (2025)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Publicat: (2023)

R-Calculus, IV: Propositional Logic
per: Li, Wei, et al.
Publicat: (2023)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
Publicat: (2024)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Publicat: (2024)

R-Calculus, V: Description Logics
per: Li, Wei, et al.
Publicat: (2024)

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

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

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Publicat: (2024)

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
Publicat: (2025)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Publicat: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
per: Hoffmann, Dirk W.
Publicat: (2025)

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

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 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Publicat: (2025)

Institution-independent Model Theory
per: Diaconescu, Răzvan
Publicat: (2025)

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)

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
Publicat: (2023)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Publicat: (2023)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
per: Morazán, Marco T.
Publicat: (2024)

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)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
Publicat: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /
Publicat: (2025)

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

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
Publicat: (2024)

New Directions in Relevant Logic
Publicat: (2025)

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

Introduction to Logic
per: Copi
Publicat: (2008)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Publicat: (2023)

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Publicat: (2025)

Symbolic Logic
per: Copi
Publicat: (1995)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
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)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Publicat: (2024)

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Publicat: (2023)

A Concise Introduction to Logic
per: Hurley
Publicat: (2006)

R-Calculus, VI: Finite Injury Priority Method
per: Li, Wei, et al.
Publicat: (2025)

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
Publicat: (2023)

An Introduction to Naïve Set Theory and Its Applications
per: Srivastava, Shashi Mohan
Publicat: (2024)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV /
Publicat: (2025)