Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and sel...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk
Format: E-Book
Sprache:Englisch
Veröffentlicht: Cham Springer Nature 2022
Springer International Publishing AG
Springer
Ausgabe:1
Schriftenreihe:Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Schlagworte:
Artificial intelligence
automata theory
Automatic theorem proving
computer hardware
Computer networking and communications
computer networks
computer programming
Computer programming / software engineering
Computer science
computer systems
Computing and Information Technology
embedded systems
formal languages
formal logic
logic programming
Mathematical theory of computation
network protocols
semantics
software architecture
software design
Software Engineering
theoretical computer science
ISBN:9783031107696, 3031107691, 9783031107689, 3031107683
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
ISBN:9783031107696
3031107691
9783031107689
3031107683
DOI:10.1007/978-3-031-10769-6