No label defined (Q3894958)

From MaRDI portal
Revision as of 19:54, 5 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    1979
    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

    Identifiers

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