The following pages link to Logic and graphs (Q4222789):
Displaying 5 items.
- Presenting basic graph logic (Q2671594) (← links)
- Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications (Q3618564) (← links)
- Workshop on logic, graph transformations and discrete structures (Q4438805) (← links)
- Graph Operations, Graph Transformations and Monadic Second-Order Logic: (Q4923534) (← links)
- Fregean Logical Graphs (Q6485478) (← links)