Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1016/j.tcs.2016.01.014 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2016.01.014 / rank
 
Normal rank

Latest revision as of 19:46, 9 December 2024

scientific article
Language Label Description Also known as
English
Enhancing unsatisfiable cores for LTL with information on temporal relevance
scientific article

    Statements

    Enhancing unsatisfiable cores for LTL with information on temporal relevance (English)
    0 references
    0 references
    6 February 2017
    0 references
    LTL
    0 references
    unsatisfiable cores
    0 references
    vacuity
    0 references
    temporal resolution
    0 references
    resolution graphs
    0 references
    Parikh images
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers