- Tytuł:
- A formal approach to Menger's theorem
- Autorzy:
-
Bonacina, Roberta
Misselbeck-Wessel, Daniel - Data publikacji:
- 2022
- Słowa kluczowe:
-
disjoint paths
separating set
inductive definition
entailment - Pokaż więcej
- Dostawca treści:
- BazTech