The equivalence of Horn and network complexity for Boolean functions (Q1160604): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639707 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete problems for deterministic polynomial time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4053629 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The network complexity and the Turing machine complexity of finite functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3851624 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5537599 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Komplexität von Entscheidungsproblemen. Ein Seminar / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf00289267 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2042029993 / rank
 
Normal rank

Latest revision as of 11:46, 30 July 2024

scientific article
Language Label Description Also known as
English
The equivalence of Horn and network complexity for Boolean functions
scientific article

    Statements

    The equivalence of Horn and network complexity for Boolean functions (English)
    0 references
    0 references
    0 references
    1981
    0 references
    Horn complexity
    0 references
    complexity measure for logical functions
    0 references
    Horn formula
    0 references
    quasi-Horn formula
    0 references

    Identifiers

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