CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Deductive Verification of a Byzantine Agreement Protocol

    Author
    Publication venue
    Karlsruher Institut für Technologie
    Publication date
    Field of study
    Get PDF
    KITopen

    A 2-Categorical Approach to Proof-Comparison

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    The University of Manchester - Institutional Repository

    Exploratory design of derivation business rules using query rewriting

    Author
    Publication venue
    Knowledge Systems Institute Graduate School
    Publication date
    Field of study
    No full text
    The University of Manchester - Institutional Repository
    corecore