The functional dimension of inductive definitions (Q1193414)

From MaRDI portal





scientific article
Language Label Description Also known as
English
The functional dimension of inductive definitions
scientific article

    Statements

    The functional dimension of inductive definitions (English)
    0 references
    27 September 1992
    0 references
    functional dimension
    0 references
    inductive query
    0 references
    expressive power
    0 references
    language of iterated inductive definitions
    0 references
    stratified logic programs
    0 references
    second-order logic
    0 references
    finite-valued graphs
    0 references
    successor relation
    0 references
    shortest path
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references