Pages that link to "Item:Q1781107"
From MaRDI portal
The following pages link to Relation algebras and their application in temporal and spatial reasoning (Q1781107):
Displaying 18 items.
- Representation, reasoning and similar matching for detailed topological relations with DTString (Q726468) (← links)
- On the complemented disk algebra (Q817585) (← links)
- On redundant topological constraints (Q891795) (← links)
- Maximal infinite-valued constraint languages (Q1014639) (← links)
- Determining the consistency of partial tree descriptions (Q1028903) (← links)
- So, what exactly is a qualitative calculus? (Q2046028) (← links)
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms (Q2238592) (← links)
- Binary topological relations on the digital sphere (Q2302905) (← links)
- Schaefer's theorem for graphs (Q2796406) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables (Q3498403) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)
- (Q5005145) (← links)
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals (Q5027249) (← links)
- Hardness of Network Satisfaction for Relation Algebras with Normal Representations (Q5098711) (← links)
- Constraint Satisfaction Problems with Infinite Templates (Q5504704) (← links)
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom (Q5870532) (← links)
- Complexity classification transfer for CSPs via algebraic products (Q6621744) (← links)