X-Nico

unusual facts about Occurs check


Infinite tree

Expand this disambiguation page to an own article on infinite trees, also defining rational trees (see Occurs check, and relating all above concepts.)



see also