Testing XML constraint satisfiability
From MaRDI portal
Publication:2867947
Recommendations
Cites work
- scientific article; zbMATH DE number 1692931 (Why is no real title available?)
- scientific article; zbMATH DE number 49746 (Why is no real title available?)
- scientific article; zbMATH DE number 1950252 (Why is no real title available?)
- scientific article; zbMATH DE number 1424043 (Why is no real title available?)
- A Modal Perspective on Path Constraints
- A first step towards modeling semistructured data in hybrid multimodal logic
- Combining deduction and model checking into tableaux and algorithms for converse-PDL.
- Computer Science Logic
- Database Programming Languages
- Hierarchies of modal and temporal logics with reference pointers
- Hybrid languages
- Hybrid logics: Characterization, interpolation and complexity
- Inconsistency Tolerance
- Integrity constraints for XML
- Internalizing labelled deduction
- Proof methods for modal and intuitionistic logics
- Representation, reasoning, and relational structures: a hybrid logic manifesto
- Representing and reasoning on XML documents: a description logic approach
- Tableau methods for modal and temporal logics
- Two-variable logic on data trees and XML reasoning
- Undecidability of multi-modal hybrid logics
- XPath and modal logics of finite DAG's
- XPath satisfiability in the presence of DTDs
Cited in
(5)
This page was built for publication: Testing XML constraint satisfiability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867947)