External Links

    Journal: Journal of Automated Reasoning

    Volume 12, Issue 3

    273 -- 304Tanel Tammet. Proof Sytrategies in Linear Logic
    305 -- 349Louiqa Raschid, Jorge Lobo. A Semantics for a Class of Non-Deterministic and Causal Production System Programs
    351 -- 358Giuseppa Carrà Ferro. An Extension of a Procedure to Prove Statements in Differential Geometry
    359 -- 388Shie-Jue Lee, Chih-Hung Wu. Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures
    389 -- 406Zhenyu Qian, Tobias Nipkow. Reduction and Unification in Lambda Calculi with a General Notion of Subtype
    runs on