The following pages link to (Q4305341):
Displaying 6 items.
- Relative definability of boolean functions via hypergraphs (Q1605175) (← links)
- Recognizability, hypergraph operations, and logical types (Q2496296) (← links)
- (Q4553286) (← links)
- Product of Graphs and Hybrid Logic (Q5170294) (← links)
- Intuitionistic N-Graphs (Q5176672) (← links)
- (Q5283020) (← links)