Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications (Q5403069)

From MaRDI portal
scientific article; zbMATH DE number 6273792
Language Label Description Also known as
English
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications
scientific article; zbMATH DE number 6273792

    Statements

    Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications (English)
    0 references
    0 references
    0 references
    0 references
    25 March 2014
    0 references
    conditional term rewriting systems
    0 references
    algebraic specifications
    0 references
    termination
    0 references
    confluence
    0 references
    sufficient completeness
    0 references
    incremental proofs
    0 references

    Identifiers