Pages that link to "Item:Q5167846"
From MaRDI portal
The following pages link to All–Instances Termination of Chase is Undecidable (Q5167846):
Displayed 10 items.
- Reasoning about integrity constraints for tree-structured data (Q1650919) (← links)
- Logical foundations of information disclosure in ontology-based data integration (Q1711879) (← links)
- Semi-oblivious chase termination: the sticky case (Q2035470) (← links)
- Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
- Characterizing Boundedness in Chase Variants (Q4957209) (← links)
- (Q5091112) (← links)
- (Q5091130) (← links)
- A Single Approach to Decide Chase Termination on Linear Existential Rules (Q5091131) (← links)
- On the k-Boundedness for Existential Rules (Q6104757) (← links)
- Uniform Restricted Chase Termination (Q6156026) (← links)