Axiomatic data type specifications: A first order theory of linear lists (Q1153682)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axiomatic data type specifications: A first order theory of linear lists
scientific article

    Statements

    Axiomatic data type specifications: A first order theory of linear lists (English)
    0 references
    0 references
    0 references
    1981
    0 references
    data type specifications
    0 references
    formal first order theory
    0 references
    linear lists
    0 references

    Identifiers