Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
scientific article

    Statements

    Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    24 November 2021
    0 references
    covers
    0 references
    uniform interpolation
    0 references
    model completeness
    0 references
    superposition calculus
    0 references
    verification of data-aware processes
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers