What Is Essential Unification? (Q3305325)

From MaRDI portal
scientific article
Language Label Description Also known as
English
What Is Essential Unification?
scientific article

    Statements

    title
    What Is Essential Unification? (English)
    0 references
    publication date
    6 August 2020
    0 references
    zbMATH Keywords
    \(E\)-unification
    0 references
    order relations for unification
    0 references
    most general unifiers
    0 references
    essential unifiers
    0 references
    unification theory
    0 references
    cites work
    Q4515867
    0 references
    Q2751360
    0 references
    Q5277870
    0 references
    Q4266519
    0 references
    Q4385532
    0 references
    Q3970984
    0 references
    Q4376048
    0 references
    Q4273676
    0 references
    Q5607226
    0 references
    Q5607227
    0 references
    Q5607228
    0 references
    Essential unifiers
    0 references
    Q4126563
    0 references
    Q4484328
    0 references
    Q5620583
    0 references
    Q4619820
    0 references
    Q5686240
    0 references
    Q5625457
    0 references
    Q3659988
    0 references
    Q4529547
    0 references
    Q5613949
    0 references
    Q5678447
    0 references
    Q3883563
    0 references
    Q3338215
    0 references
    Unification theory
    0 references
    Q3682461
    0 references
    Q3313256
    0 references
    Nominal unification
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T27
    0 references
    03B35
    0 references
    68V15
    0 references
    zbMATH DE Number
    7229025
    0 references
    OpenAlex ID
    W2584691322
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3305325&oldid=36605528"
    Powered by MediaWiki