The following pages link to John Taylor (Q2719706):
Displayed 14 items.
- (Q2719707) (← links)
- (Q2753849) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- On the Completeness of Spider Diagrams Augmented with Constants (Q2948608) (← links)
- A Decidable Constraint Diagram Reasoning System (Q3371151) (← links)
- (Q3654850) (← links)
- (Q4002622) (← links)
- The Expressiveness of Spider Diagrams (Q4659954) (← links)
- (Q4737279) (← links)
- (Q4737295) (← links)
- (Q4890896) (← links)
- (Q5404512) (← links)
- Spider Diagrams (Q5697473) (← links)
- Diagrammatic Representation and Inference (Q5714027) (← links)