A semantically complete extension sequence of the system \(\mathcal L^\ast\) (Q866006)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A semantically complete extension sequence of the system \(\mathcal L^\ast\)
scientific article

    Statements

    A semantically complete extension sequence of the system \(\mathcal L^\ast\) (English)
    0 references
    20 February 2007
    0 references
    0 references
    0 references

    Identifiers