The following pages link to John G. Stell (Q299183):
Displaying 28 items.
- (Q205481) (redirect page) (← links)
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Qualitative reasoning about relative direction of oriented points (Q420830) (← links)
- (Q554220) (redirect page) (← links)
- Relations between adjacency trees (Q554222) (← links)
- Part and complement: Fundamental concepts in spatial relations (Q596482) (← links)
- Intelligent counting under information imprecision. Applications to intelligent systems and decision support (Q694556) (← links)
- A boundary-sensitive approach to qualitative location (Q1286399) (← links)
- Boolean connection algebras: A new approach to the Region-Connection Calculus (Q1583514) (← links)
- Axiomatizing discrete spatial relations (Q1617812) (← links)
- Ordered information systems and graph granulation (Q1797438) (← links)
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Symmetric Heyting relation algebras with applications to hypergraphs (Q2347914) (← links)
- Relations on Hypergraphs (Q2915153) (← links)
- A Framework for Order-Sorted Algebra (Q2996140) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- (Q3811680) (← links)
- (Q3815296) (← links)
- (Q4412300) (← links)
- (Q4580233) (← links)
- (Q4636309) (← links)
- (Q4709306) (← links)
- (Q4792736) (← links)
- (Q4929429) (← links)
- Graphical Partitions and Graphical Relations (Q5377316) (← links)
- Tableau Development for a Bi-intuitionistic Tense Logic (Q5410499) (← links)
- Unique-sort order-sorted theories : A description as monad morphisms (Q5881299) (← links)
- Spatial relations between indeterminate regions (Q5944534) (← links)
