External Links

    Journal: Journal of Automated Reasoning

    Volume 31, Issue 3-4

    189 -- 190Amy P. Felty. Preface
    191 -- 229Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni. A Syntactic Approach to Foundational Proof-Carrying Code
    231 -- 260Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga. A Trustworthy Proof Checker
    261 -- 302David Aspinall, Adriana B. Compagnoni. Heap-Bounded Assembly Language
    303 -- 334Eva Rose. Lightweight Bytecode Verification
    335 -- 370James Riely, Matthew Hennessy. Trust and Partial Typing in Open Systems of Mobile Agents

    Volume 31, Issue 2

    105 -- 105Deepak Kapur. Announcement
    107 -- 127Panagiotis Manolios, J. Strother Moore. Partial Functions in ACL2
    129 -- 168Leo Bachmair, Ashish Tiwari, Laurent Vigneron. Abstract Congruence Closure
    169 -- 187Peter B. Andrews. Herbrand Award Acceptance Speech

    Volume 31, Issue 1

    1 -- 9Robert Veroff. A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke
    11 -- 21Lin Hai, Jigui Sun, Zhang Yimin. Theorem Proving Based on the Extension Rule
    23 -- 32Geoff Sutcliffe, Christian B. Suttner. The CADE-18 ATP System Competition
    33 -- 72Gilles Dowek, Thérèse Hardin, Claude Kirchner. Theorem Proving Modulo
    73 -- 103Raffaella Gentilini, Carla Piazza, Alberto Policriti. From Bisimulation to Simulation: Coarsest Partition Problems
    runs on