J. Autom. Reason.

Keyphrases

Publications

volume 68, number 1, 2024

volume 68, number 2, 2024

Tobias Nipkow
Gale-Shapley Verified. J. Autom. Reason. 68 (2) (2024)
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. J. Autom. Reason. 68 (2) (2024)
Filip Smola, Jacques D. Fleuriot
Linear Resources in Isabelle/HOL. J. Autom. Reason. 68 (2) (2024)
Dominic Steinhöfel, Reiner Hähnle
Schematic Program Proofs with Abstract Execution. J. Autom. Reason. 68 (2) (2024)
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran
Sequent Calculi for Choice Logics. J. Autom. Reason. 68 (2) (2024)
Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
SAT Meets Tableaux for Linear Temporal Logic Satisfiability. J. Autom. Reason. 68 (2) (2024)
Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth
Formalized Functional Analysis with Semilinear Maps. J. Autom. Reason. 68 (2) (2024)

volume 68, number 3, 2024

volume 67, number 1, 2023

volume 67, number 2, 2023

Maximiliano Cristiá, Guido De Luca, Carlos Luna
An Automatically Verified Prototype of the Android Permissions System. J. Autom. Reason. 67 (2) (2023)
Emre Yolcu, Scott Aaronson, Marijn J. H. Heule
An Automated Approach to the Collatz Conjecture. J. Autom. Reason. 67 (2) (2023)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
A Formal Theory of Choreographic Programming. J. Autom. Reason. 67 (2) (2023)
Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. J. Autom. Reason. 67 (2) (2023)
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
Unifying Splitting. J. Autom. Reason. 67 (2) (2023)
Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
Synthesising Programs with Non-trivial Constants. J. Autom. Reason. 67 (2) (2023)
Cezary Kaliszyk, Karol Pak
Combining Higher-Order Logic with Set Theory Formalizations. J. Autom. Reason. 67 (2) (2023)
Oliver Nash
Engel's Theorem in Mathlib. J. Autom. Reason. 67 (2) (2023)

volume 67, number 3, 2023

volume 67, number 4, 2023