External Links

    Journal: Journal of Automated Reasoning

    Volume 29, Issue 3-4

    183 -- 188Fairouz Kamareddine. Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn - Preface
    189 -- 224Grzegorz Bancerek, Piotr Rudnicki. A Compendium of Continuous Lattices in MIZAR
    225 -- 252Yves Bertot, Nicolas Magaud, Paul Zimmermann. A Proof of GMP Square Root
    253 -- 275Marc Bezem, Dimitri Hendriks, Hans de Nivelle. Automated Proof Construction in Type Theory Using Resolution
    277 -- 307Dimitri Hendriks. Proof Reflection in Coq
    309 -- 336Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner. External Rewriting for Skeptical Proof Assistants
    337 -- 363Virgile Prevosto, Damien Doligez. Algorithms and Proofs Inheritancey in the FOC Language
    365 -- 387Freek Wiedijk. A New Implementation of Automath
    389 -- 411Markus Wenzel, Freek Wiedijk. A Comparison of Mizar and Isar

    Volume 29, Issue 2

    107 -- 124Larry Wos, Dolph Ulrich, Branden Fitelson. Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
    125 -- 169Leila Amgoud, Claudette Cayrol. Inferring from Inconsistency in Preference-Based Argumentation Frameworks
    171 -- 182G. Mashevitzky. Unification Types of Completely Regular Semigroups

    Volume 29, Issue 1

    1 -- 16William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos. Short Single Axioms for Boolean Algebra
    17 -- 57Adnan H. Yahya, David A. Plaisted. Ordered Semantic Hyper Tableaux
    59 -- 66John K. Slaney. More Proofs of an Axiom of Lukasiewicz
    67 -- 89Ruediger Thiele, Larry Wos. Hilbert s Twenty-Fourth Problem
    91 -- 106Vivek S. Borkar, Vijay Chandru, Sanjoy K. Mitter. Mathematical Programming Embeddings of Logic
    runs on