Refined finiteness and degree properties in graphs

DOI10.2478/FORMA-2020-0013OpenAlexW3145721441MaRDI QIDQ2113832FDOQ2113832

Sebastian Koch

Publication date: 14 March 2022

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2020-0013

zbMATH Keywords

graph theoryminimum degreemaximum degreevertex degree

Mathematics Subject Classification ID

Vertex degrees (05C07) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Infinite graphs—A survey
• Four decades of {\textsc{Mizar}}. Foreword
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Strict refinement for graphs and digraphs
• Title not available (Why is that?)

This page was built for publication: Refined finiteness and degree properties in graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2113832)