![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Automated Reasoning, Volume 68
Volume 68, Number 1, March 2024
- Florian Faissole
:
Formally-Verified Round-Off Error Analysis of Runge-Kutta Methods. 1 - Mnacho Echenim, Mehdi Mhalla:
A Formalization of the CHSH Inequality and Tsirelson's Upper-bound in Isabelle/HOL. 2 - David Braun, Nicolas Magaud
, Pascal Schreck:
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry. 3 - Étienne Payet
:
Non-termination in Term Rewriting and Logic Programming. 4 - Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff:
Should Decisions in QCDCL Follow Prefix Order? 5
Volume 68, Number 2, June 2024
- Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato:
SAT Meets Tableaux for Linear Temporal Logic Satisfiability. 6 - Dominic Steinhöfel, Reiner Hähnle:
Schematic Program Proofs with Abstract Execution. 7 - Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran:
Sequent Calculi for Choice Logics. 8 - Filip Smola, Jacques D. Fleuriot:
Linear Resources in Isabelle/HOL. 9 - Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth:
Formalized Functional Analysis with Semilinear Maps. 10 - Lei Li, Zongkai Yang, Mao Chen, Xicheng Peng, Jianwen Sun, Zhonghua Yan, Sannyuya Liu:
Automated Generation of Geometry Proof Problems Based on Point Geometry Identity. 11 - Tobias Nipkow
:
Gale-Shapley Verified. 12
Volume 68, Number 3, September 2024
- Camillo Fiorentini, Mauro Ferrari:
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic. 13 - Peter Lammich:
Refinement of Parallel Algorithms Down to LLVM: Applied to Practically Efficient Parallel Sorting. 14 - Asta Halkjær From
, Frederik Krogsdal Jacobsen
:
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL. 15
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.