Unification algorithms cannot be combined in polynomial time. (Q1854364)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unification algorithms cannot be combined in polynomial time.
scientific article

    Statements

    Unification algorithms cannot be combined in polynomial time. (English)
    0 references
    0 references
    0 references
    14 January 2003
    0 references
    complexity class
    0 references
    counting problems
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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