On the complexity of detecting hazards (Q2203575): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/j.ipl.2020.105980 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.IPL.2020.105980 / rank
 
Normal rank

Latest revision as of 09:30, 28 December 2024

scientific article
Language Label Description Also known as
English
On the complexity of detecting hazards
scientific article

    Statements

    On the complexity of detecting hazards (English)
    0 references
    0 references
    0 references
    7 October 2020
    0 references
    computational complexity
    0 references
    lower bound
    0 references
    logic hazard
    0 references
    SETH
    0 references

    Identifiers

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