Some modal aspects of XPath (Q2901192): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 4 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: XPath / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.3166/jancl.20.139-171 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2106724495 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On modal \(\mu \)-calculus and Gödel-Löb logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: XPath satisfiability in the presence of DTDs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structural properties of XPath fragments / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterizing EF and EX tree logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal characterisation theorems over special classes of frames / rank
 
Normal rank
Property / cites work
 
Property / cites work: First-order logic with two variables and unary temporal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normal forms in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional dynamic logic of regular programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algebraic theory of normal forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3773852 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conjunctive queries over trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: An equational axiomatization of dynamic negation and relational composition / rank
 
Normal rank
Property / cites work
 
Property / cites work: A completeness theorem for Kleene algebras and the algebra of regular events / rank
 
Normal rank
Property / cites work
 
Property / cites work: Past is for free: On the complexity of verifying linear temporal properties with past / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite models constructed from canonical formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic algebras: Examples, constructions, applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: An axiomatization for until and since over the reals without the IRR rule / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of propositional linear temporal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete axiomatizations for XPath fragments / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of query containment in expressive fragments of XPath 2.0 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Axiomatizing the logical core of XPath 2.0 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Program constructions that are safe for bisimulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal frame correspondences and fixed-points / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on the characterization of TL [EF] / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 11:16, 5 July 2024

scientific article
Language Label Description Also known as
English
Some modal aspects of XPath
scientific article

    Statements

    Some modal aspects of XPath (English)
    0 references
    0 references
    0 references
    0 references
    17 July 2012
    0 references
    XML
    0 references
    modal logic
    0 references
    finite trees
    0 references
    0 references

    Identifiers

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