A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
scientific article

    Statements

    A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (English)
    0 references
    0 references
    0 references
    0 references
    16 November 2022
    0 references
    rewriting logic
    0 references
    proof theory
    0 references
    sequent systems
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers