1
Introduction
2
Subgraph equations
3
General implications
4
Subgraph implications
5
Subgraph counterexamples
6
Equivalence with the constant and singleton laws
7
Simple rewrites
8
Trivial auto-generated theorems
9
Bibliography
Dependency graph
Equational theories
Terence Tao
1
Introduction
2
Subgraph equations
3
General implications
4
Subgraph implications
5
Subgraph counterexamples
6
Equivalence with the constant and singleton laws
7
Simple rewrites
8
Trivial auto-generated theorems
9
Bibliography