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...

Full description

Saved in:
Bibliographic Details
Main Authors: Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk
Format: eBook
Language:English
Published: Cham Springer Nature 2022
Springer International Publishing AG
Springer
Edition:1
Series:Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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