Using inductive counting to simulate nondeterministic computation (Q1207953)

From MaRDI portal





scientific article; zbMATH DE number 165622
Language Label Description Also known as
English
Using inductive counting to simulate nondeterministic computation
scientific article; zbMATH DE number 165622

    Statements

    Using inductive counting to simulate nondeterministic computation (English)
    0 references
    0 references
    0 references
    0 references
    16 May 1993
    0 references
    inductive counting
    0 references
    cost of simulating nondeterminism with Valiant's paradigm of unique computation
    0 references

    Identifiers