The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Generalized Brauer tree orders”

Helly Property for Subtrees

Jessica Enright, Piotr Rudnicki (2008)

Formalized Mathematics

Similarity:

We prove, following [5, p. 92], that any family of subtrees of a finite tree satisfies the Helly property.MML identifier: HELLY, version: 7.8.09 4.97.1001