No label defined (Q3894958)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    1979
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    automation of reasoning about computing programs
    0 references
    recursive definitions
    0 references
    inductive proofs
    0 references
    correctness of a tautology checker
    0 references
    elementary number theory
    0 references
    correctness of an expression compiler
    0 references
    fast string searching algorithm
    0 references
    unique prime factorization
    0 references