Decidability of S1S and S2S (Q4412835)

From MaRDI portal
scientific article; zbMATH DE number 1950128
Language Label Description Also known as
English
Decidability of S1S and S2S
scientific article; zbMATH DE number 1950128

    Statements

    Decidability of S1S and S2S (English)
    0 references
    0 references
    16 July 2003
    0 references

    Identifiers