Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations. (Q5089302)

From MaRDI portal
scientific article; zbMATH DE number 7559491
Language Label Description Also known as
English
Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.
scientific article; zbMATH DE number 7559491

    Statements

    0 references
    0 references
    18 July 2022
    0 references
    bisimulation
    0 references
    congruence
    0 references
    axiomatisation
    0 references
    soundness and completeness
    0 references
    Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations. (English)
    0 references

    Identifiers