External Links

    Journal: Journal of Automated Reasoning

    Volume 52, Issue 4

    361 -- 378Mike Stannett, István Németi. Using Isabelle/HOL to Verify First-Order Relativity Theory
    379 -- 405Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun. Array Theory of Bounded Elements and its Applications
    407 -- 450Mark Kaminski, Gert Smolka. A Goal-Directed Decision Procedure for Hybrid PDL
    451 -- 480Chunhan Wu, Xingyuan Zhang, Christian Urban. A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions

    Volume 52, Issue 3

    241 -- 273Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah. A Framework for the Verification of Certifying Computations
    275 -- 329Alexander Malkis, Anindya Banerjee. On Automation in the Verification of Software Barriers: Experience Report
    331 -- 360M. J. Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina. Formally Verified Tableau-Based Reasoners for a Description Logic

    Volume 52, Issue 2

    123 -- 153Clemens Ballarin. Locales: A Module System for Mathematical Theories
    155 -- 190Temur Kutsia, Jordi Levy, Mateu Villaret. Anti-unification for Unranked Terms and Hedges
    191 -- 213Jesse Alama, Tom Heskes, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban. Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
    215 -- 239Jonghyun Park, Jeongbong Seo, Sungwoo Park, Gyesik Lee. Mechanizing Metatheory Without Typing Contexts

    Volume 52, Issue 1

    1 -- 29Eugenio G. Omodeo, Alexandru I. Tomescu. Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets
    31 -- 65Matthew Gwynne, Oliver Kullmann. Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution
    67 -- 97Guido Fiorino. Terminating Calculi for Propositional Dummett Logic with Subformula Property
    99 -- 122Marta R. Hidalgo, Robert Joan-Arinyo. The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry
    runs on