Pages that link to "Item:Q594106"
From MaRDI portal
The following pages link to Menger's theorem for graphs containing no infinite paths (Q594106):
Displaying 4 items.
- The Max-Flow Min-Cut theorem for countable networks (Q618031) (← links)
- The Erdős-Menger conjecture for source/sink sets with disjoint closures (Q707026) (← links)
- A self-stabilizing algorithm for constructing a minimal reachable directed acyclic graph with two senders and two targets (Q2034405) (← links)
- A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory (Q2102926) (← links)