Converting untyped formulas to typed ones (Q1284693)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Converting untyped formulas to typed ones
scientific article

    Statements

    Converting untyped formulas to typed ones (English)
    0 references
    0 references
    0 references
    26 April 1999
    0 references
    many-sorted logic
    0 references
    untyped formula
    0 references
    first-order logic
    0 references
    many-sorted formulas
    0 references
    expressive power of active-domain quantification in the relational calculus
    0 references

    Identifiers