Two-variable logic on data trees and XML reasoning
From MaRDI portal
Recommendations
- On the satisfiability of two-variable logic over data words
- Complexity of two-variable logic on finite trees
- Complexity of two-variable logic on finite trees
- Alternating automata on data trees and XPath satisfiability
- Extending two-variable logic on data trees with order on data values and its automata
Cited in
(58)- Reasoning about integrity constraints for tree-structured data
- Conjunctive query containment over trees using schema information
- An automata-theoretic approach to the verification of distributed algorithms
- On regular paths with counting and data tests
- Characterizations for \(\mathrm{XPath}_{\mathcal{R}}(\downarrow)\)
- Emptiness and finiteness for tree automata with global reflexive disequality constraints
- Model theory of XPath on data trees. II: Binary bisimulation and definability
- Axiomatizations for downward XPath on data trees
- Reasoning about functional and full hierarchical dependencies over partial relations
- Complexity results on register context-free grammars and related formalisms
- Deciding twig-definability of node selecting tree automata
- Regular Programming for Quantitative Properties of Data Streams
- Hilbert-style axiomatization for hybrid XPath with data
- Testing XML constraint satisfiability
- Logics of repeating values on data trees and branching counter systems
- Variable tree automata over infinite ranked alphabets
- Future-Looking Logics on Data Words and Trees
- XML schema mappings, data exchange and metadata management
- On synthesis of specifications with arithmetic
- Forward analysis for WSTS, part I: completions
- Complexity of Data Tree Patterns over XML Documents
- Satisfiability of a Spatial Logic with Tree Variables
- Logical Foundations of XML and XQuery
- The reachability problem for branching vector addition systems requires doubly-exponential space
- scientific article; zbMATH DE number 1953126 (Why is no real title available?)
- On the satisfiability of two-variable logic over data words
- Global numerical constraints on trees
- Walking on data words
- scientific article; zbMATH DE number 7559504 (Why is no real title available?)
- Register automata with extrema constraints, and an application to two-variable logic
- scientific article; zbMATH DE number 7407777 (Why is no real title available?)
- XPath and modal logics of finite DAG's
- Expressive completeness of separation logic with two variables and no separating conjunction
- Two-variable logic with counting and trees
- Complexity of two-variable logic on finite trees
- Complexity of two-variable logic on finite trees
- Extending two-variable logic on data trees with order on data values and its automata
- Reasoning about XML with Temporal Logics and Automata
- On reasoning about structural equality in XML: a description logic approach
- scientific article; zbMATH DE number 2219131 (Why is no real title available?)
- Register-bounded synthesis
- Reachability for bounded branching VASS
- Set augmented finite automata over infinite alphabets
- On the existential fragments of local first-order logics with data
- Learning deterministic variable automata over infinite alphabets
- Data graphs with incomplete information (and a way to complete them)
- On the satisfiability of local first-order logics with data
- On two-variable first-order logic with a partial order
- Data-aware hybrid tableaux
- Nominal tree automata with name allocation
- Variable automata over infinite alphabets
- Modal logic with relations over paths: a theoretical development through comonadic semantics
- A uniform one-dimensional fragment with alternation of quantifiers
- Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic
- Improved lower bounds for reachability in vector addition systems
- Structural characterizations of the navigational expressiveness of relation algebras on a tree
- Model checking memoryful linear-time logics over one-counter automata
- Reasoning about XML with temporal logics and automata
This page was built for publication: Two-variable logic on data trees and XML reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452211)
