rgrig
|
Registered User
|
I live in the tiny intersection of program verification, programming languages, algorithms, theory, and practice. Sometimes I visit foreign lands.
|
|
Feb 28 |
comment |
Is the empty graph a tree? In computer science, (ordered) binary trees are usually defined as a (least) fixed point of $1+T\times T=T$. The empty tree is a binary tree by definition. Binary trees seem to be rather different from connected acyclic graphs. |
