A FORMAL APPROACH TO MENGER?S THEOREM

DSpace Repository

A FORMAL APPROACH TO MENGER?S THEOREM

Author: Bonacina, Roberta; Misselbeck-Wessel, Daniel
Tübinger Autor(en):
Bonacina, Roberta
Published in: Reports on Mathematical Logic (2022), Bd. 57, S. 45-51
Verlagsangabe: Krakow : Jagiellonian Univ, Theoretical Computer Science Dept
Language: English
Full text: http://dx.doi.org/10.4467/20842589RM.22.003.16660
ISSN: 0137-2904
DDC Classifikation: 004 - Data processing and computer science
510 - Mathematics
610 - Medicine and health
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)