The following pages link to (Q4553286):
Displaying 9 items.
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- Recognizability, hypergraph operations, and logical types (Q2496296) (← links)
- Graph Logics with Rational Relations and the Generalized Intersection Problem (Q2986787) (← links)
- (Q3112294) (← links)
- (Q3121529) (← links)
- On Graph-theoretic Fibring of Logics (Q3656775) (← links)
- (Q4305341) (← links)
- (Q5376651) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
