Testing Computability by Width-2 OBDDs Where the Variable Order is Unknown (Q3562998)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Testing Computability by Width-2 OBDDs Where the Variable Order is Unknown
scientific article

    Statements

    Testing Computability by Width-2 OBDDs Where the Variable Order is Unknown (English)
    0 references
    0 references
    0 references
    28 May 2010
    0 references
    0 references
    0 references