A formal approach to Menger's theorem
Author:
Affiliation:
1. Carl Friedrich von Weizsäcker-Zentrum, Universität Tübingen
2. Dipartimento di Informatica, Università degli Studi di Verona, Italy
Abstract
Publisher
Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego
Subject
Logic,Philosophy
Reference31 articles.
1. [1] T. Böhme, F. Göring, and J. Harant, Menger's Theorem, J. Graph Theory 37:1 (2001), 35-36.
2. [2] R. Bonacina and D. Wessel, Ribenboim's order extension theorem from a constructive point of view, Algebra Universalis 81:5 (2020), https://doi.org/10.1007/s00012-019-0634-0.
3. [3] J. Cederquist and T. Coquand, Entailment relations and distributive lattices, in: Logic Colloquium '98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998, S. R. Buss, P. Hájek and P. Pudlák (Eds.), Lect. Notes Logic, A. K. Peters, Natick, MA, 2000, pp.127-139.
4. [4] T. Coquand, A syntanctical proof of the Marriage Lemma, Theoret. Comput. Sci. 290:1 (2003), 1107-1113.
5. [5] T. Coquand and Guo-Qiang Zhang, Sequents, frames, and completeness, in: Computer Science Logic (Fischbachau, 2000), P. G. Clote and H. Schwichtenberg (Eds.), volume 1862 of Lecture Notes in Comput. Sci., Springer, Berlin 2000, pp. 277-291.
1.学者识别学者识别
2.学术分析学术分析
3.人才评估人才评估
"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370
www.globalauthorid.com
TOP
Copyright © 2019-2024 北京同舟云网络信息技术有限公司 京公网安备11010802033243号 京ICP备18003416号-3