CORE
COnnecting
REpositories

    63,068 research outputs found

    Towards a Foundation of Completion Procedures as Semidecision Procedures

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    Distributed Deduction by Clause-Diffusion

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    A Category Theory Approach to Completion-Based Theorem Proving Strategies

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    On Fairness of Completion-based Theorem Proving Strategies

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    Parallelizing Deduction Strategies:an Analytical Study

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    On Subsumption in Distributed Deduction

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    On Fairness in Distributed Automated Deduction

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    A category theory approach to completion-based theorem proving strategies

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    Operational and Denotational Semantics of Rewrite Programs

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository
    • …
    corecore