No label defined (Q4414739)

From MaRDI portal
scientific article; zbMATH DE number 1953286
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1953286

    Statements

    0 references
    27 July 2003
    0 references
    0 references
    0 references
    0 references
    0 references
    termination
    0 references
    well-quasi orders
    0 references
    program analysis
    0 references
    specialisation and transformation
    0 references
    logic programming
    0 references
    functional programming
    0 references
    metaprogramming
    0 references
    infinite model checking
    0 references