External Links

    Journal: Journal of Automated Reasoning

    Volume 41, Issue 3-4

    191 -- 192Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow. Preface
    193 -- 218Hasan Amjad. Data Compression for Proof Replay
    219 -- 249Achim D. Brucker, Burkhart Wolff. An Extensible Encoding of Object-oriented Data Models in hol
    251 -- 293Alastair F. Donaldson, Alice Miller. Automatic Symmetry Detection for Promela
    295 -- 323Osman Hasan, Sofiène Tahar. Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
    325 -- 364Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi. Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
    365 -- 398Nick Moffat, Michael Goldsmith. Assumption-Commitment Support for CSP Model Checking

    Volume 41, Issue 2

    99 -- 142Volker Haarslev, Ralf Möller. On the Scalability of Description Logic Instance Retrieval
    143 -- 189André Platzer. Differential Dynamic Logic for Hybrid Systems

    Volume 41, Issue 1

    1 -- 31Xavier Leroy, Sandrine Blazy. Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations
    33 -- 59Amine Chaieb, Tobias Nipkow. Proof Synthesis and Reflection for Linear Arithmetic
    61 -- 98Magdalena Ortiz, Diego Calvanese, Thomas Eiter. Data Complexity of Query Answering in Expressive Description Logics via Tableaux
    runs on