Two-variable logic on data trees and XML reasoning
From MaRDI portal
Publication:3452211
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
(50)- scientific article; zbMATH DE number 7407777 (Why is no real title available?)
- scientific article; zbMATH DE number 7566055 (Why is no real title available?)
- The reachability problem for branching vector addition systems requires doubly-exponential space
- Emptiness and finiteness for tree automata with global reflexive disequality constraints
- Deciding twig-definability of node selecting tree automata
- scientific article; zbMATH DE number 1953126 (Why is no real title available?)
- Model checking memoryful linear-time logics over one-counter automata
- On reasoning about structural equality in XML: a description logic approach
- Regular Programming for Quantitative Properties of Data Streams
- On regular paths with counting and data tests
- Forward analysis for WSTS, part I: completions
- On the satisfiability of local first-order logics with data
- Variable tree automata over infinite ranked alphabets
- Complexity of two-variable logic on finite trees
- Hilbert-style axiomatization for hybrid XPath with data
- Logics of repeating values on data trees and branching counter systems
- Expressive completeness of separation logic with two variables and no separating conjunction
- Characterizations for \(\mathrm{XPath}_{\mathcal{R}}(\downarrow)\)
- Reasoning about integrity constraints for tree-structured data
- Model theory of XPath on data trees. II: Binary bisimulation and definability
- Set augmented finite automata over infinite alphabets
- Axiomatizations for downward XPath on data trees
- scientific article; zbMATH DE number 7649933 (Why is no real title available?)
- XPath and modal logics of finite DAG's
- Reasoning about XML with Temporal Logics and Automata
- Conjunctive query containment over trees using schema information
- Future-Looking Logics on Data Words and Trees
- Structural characterizations of the navigational expressiveness of relation algebras on a tree
- Reasoning about XML with temporal logics and automata
- Complexity of Data Tree Patterns over XML Documents
- Global numerical constraints on trees
- Complexity results on register context-free grammars and related formalisms
- Extending two-variable logic on data trees with order on data values and its automata
- Complexity of two-variable logic on finite trees
- On the existential fragments of local first-order logics with data
- Two-variable logic with counting and trees
- scientific article; zbMATH DE number 7559504 (Why is no real title available?)
- XML schema mappings, data exchange and metadata management
- Walking on data words
- On synthesis of specifications with arithmetic
- scientific article; zbMATH DE number 7649936 (Why is no real title available?)
- Logical Foundations of XML and XQuery
- scientific article; zbMATH DE number 2219131 (Why is no real title available?)
- Satisfiability of a Spatial Logic with Tree Variables
- Reasoning about functional and full hierarchical dependencies over partial relations
- An automata-theoretic approach to the verification of distributed algorithms
- Testing XML constraint satisfiability
- Learning deterministic variable automata over infinite alphabets
- On the satisfiability of two-variable logic over data words
- Data graphs with incomplete information (and a way to complete them)
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)
