scientific article; zbMATH DE number 7407777
From MaRDI portal
Publication:5155666
Publication date: 8 October 2021
Full work available at URL: https://arxiv.org/abs/2004.00124
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Pure extensions, proof rules, and hybrid axiomatics
- Frontiers of tractability for typechecking simple XML transformations
- Complete axiomatizations for XPath fragments
- Dynamic algebras: Examples, constructions, applications
- Axiomatizing the logical core of XPath 2.0
- Model theory of XPath on data trees. II: Binary bisimulation and definability
- Axiomatizations for downward XPath on data trees
- Normal forms in modal logic
- Hybrid logics: characterization, interpolation and complexity
- An axiomatization of full Computation Tree Logic
- Hilbert-Style Axiomatization for Hybrid XPath with Data
- Definability for Downward and Vertical XPath on Data Trees
- Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
- Decidability of Downward XPath
- Named Models in Coalgebraic Hybrid Logic
- Querying Graphs with Data
- Two-variable logic on data trees and XML reasoning
- XPath satisfiability in the presence of DTDs
- On the Complexity of Verifying Consistency of XML Specifications
- Bisimulations on Data Graphs
- Hybrid logic and its proof-theory
This page was built for publication:
