Theory combination: beyond equality sharing (Q2185458)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Theory combination: beyond equality sharing
scientific article

    Statements

    Theory combination: beyond equality sharing (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    4 June 2020
    0 references
    0 references
    0 references