2 options
Automated reasoning 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026 proceedings Part II Armin Biere, Carsten Lutz, Sara Negri, editors
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- IJCAR (Conference) (13th : 2026 : Lisbon, Portugal)
- Series:
- Lecture notes in computer science ; 16689.
- Lecture notes in computer science. Lecture notes in artificial intelligence
- Lecture notes in computer science 1611-3349 16689
- Lecture notes in artificial intelligence
- Language:
- English
- Subjects (All):
- Automatic theorem proving.
- Computer logic.
- Genre:
- proceedings (reports)
- Conference papers and proceedings
- Conference papers and proceedings.
- Physical Description:
- 1 online resource
- Place of Publication:
- Cham, Switzerland Springer [2026]
- Contents:
- Free set theory – Cut elimination and consistency / Andrzej Indrzejczak
- A two-watched literal scheme for first-order logic / Yasmine Briefs, Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Simon Schwarz, and Christoph Weidenbach
- A superposition calculus for separation logic / Tanguy Bozec and Nicolas Peltier
- Proof nets for PiL / Matteo Acclavio and Giulia Manara
- Automating proof search when equality is a logical connective / Kaustuv Chaudhuri, Arunava Gantait, and Dale Miller
- Ordered adjoint logic / Sophia Roshal and Frank Pfenning
- Saving Craig in the fluted fragment / Hongkai Yin
- Complexity and expressivity of the uniform fluted fragment / Hongkai Yin
- Semantics for dependently-typed HOL / Florian Rabe
- Complexity of reasoning in Kleene algebra with sum-of-letters hypotheses / Stepan L. Kuznetsov
- A unified formalization of context-free grammar theory / Tobias Nipkow, Fabian Lehr, Moritz Roos, and Akihisa Yamada
- Unification of deterministic higher-order patterns / Johannes Niederhauser and Aart Middeldorp
- Towards term-based verification of diagrammatic equivalence / Julie Cailler, Noé Delorme, Simon Perdrix, and Sophie Tourret
- The termination of Nielsen transformations applied to word equations with length constraints / Benjamin Przybocki and Clark Barrett
- An applicative multiset path order / Nao Hirokawa, Teppei Saito, Teppei Tanaka, and Wataru Yachi
- A deductive refinement calculus for differential-algebraic programs / Jonathan Hellwig, Long Qian, and André Platzer
- Verification of configurable SRA systems / Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, and Dylan Trenti
- Disproving (positive) almost-sure termination of probabilistic term rewriting via random walks / J.-C. Kassing, H. Nagel, A. Schlecht, and J. Giesl
- Refactoring-as-propositions : Proved refactoring of hybrid systems via proved refinements / Enguerrand Prebet and André Platzer
- Complete robust hybrid systems reachability / Noah Abou El Wafa and André Platzer
- The ARI infrastructure for automated confluence analysis / Nao Hirokawa, Aart Middeldorp, Teppei Saito, and René Thiemann
- Implementing fuzzy OSF logic unification and normalization (short paper) / Gian Carlo Milanese and Gabriella Pasi
- Notes:
- Includes bibliographical references and index
- Online resource; title from PDF title page (Springer Nature Link, viewed July 28, 2026)
- Other Format:
- Print version IJCAR (Conference) (13th : 2026 : Lisbon, Portugal) Automated reasoning
- ISBN:
- 9783032325921
- 3032325927
- OCLC:
- 1608487224
- Access Restriction:
- Some versions Open access versions available from some providers open access
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.