No label defined (Q5111301)

From MaRDI portal
Revision as of 18:19, 22 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 7204425
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7204425

    Statements

    author
    Yohji Akama
    0 references
    publication date
    26 May 2020
    0 references
    zbMATH Keywords
    reducibility method
    0 references
    restricted reducibility theorem
    0 references
    sum type
    0 references
    type-directed expansion
    0 references
    strong normalization
    0 references
    cites work
    Q4281490
    0 references
    Q4036571
    0 references
    Q3994895
    0 references
    Q5606582
    0 references
    Q4222804
    0 references
    Q3918095
    0 references
    Q4296744
    0 references
    Q4145693
    0 references
    Q3999386
    0 references
    Q4143279
    0 references

    Identifiers

    zbMATH DE Number
    7204425
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5111301&oldid=36588306"
    Powered by MediaWiki