Model checking hybrid logics (with an application to semistructured data) (Q2506828): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/j.jal.2005.06.010 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.JAL.2005.06.010 / rank
 
Normal rank

Latest revision as of 02:40, 19 December 2024

scientific article
Language Label Description Also known as
English
Model checking hybrid logics (with an application to semistructured data)
scientific article

    Statements

    Model checking hybrid logics (with an application to semistructured data) (English)
    0 references
    0 references
    0 references
    10 October 2006
    0 references
    model checking
    0 references
    modal logics
    0 references
    hybrid logics
    0 references
    semistructured data
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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