The following pages link to An axiomatization of graphs (Q707454):
Displaying 11 items.
- A note on proofs with graphs (Q955713) (← links)
- Syntactic recognizability of graphs with fuzzy attributes (Q2445984) (← links)
- Graph automata (Q2481961) (← links)
- Recognizability of graph and pattern languages (Q2491214) (← links)
- Constructing order type graphs using an axiomatic approach (Q2692256) (← links)
- Minimization of planar directed acyclic graph algebras (Q2856022) (← links)
- Graph Automata: The Algebraic Properties of Abelian Relational Graphoids (Q3098038) (← links)
- The Syntactic Complexity of Eulerian Graphs (Q3522868) (← links)
- (Q3742748) (← links)
- (Q4165402) (← links)
- Simple Undirected Graphs as Formal Contexts (Q5255665) (← links)