External Links

    Journal: Journal of Automated Reasoning

    Volume 44, Issue 1-2

    1 -- 2Jacques Carette, Makarius Wenzel, Freek Wiedijk. Preface
    3 -- 24Predrag Janicic. Geometry Constructions Language
    25 -- 52Claudio Sacerdoti Coen. Declarative Representation of Proof Terms
    53 -- 78Ferruccio Guidi. Procedural Representation of CIC Proof Terms
    79 -- 110Dominik Dietrich, Ewaryst Schulz. Crystal: Integrating Structured Queries into a Tactic Language
    111 -- 144Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff. HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler
    145 -- 174Perry R. James, Patrice Chalin. Faster and More Complete Extended Static Checking for the Java Modeling Language
    runs on