Uneingeschränkter Zugang

Introduction to Graph Colorings

   | 24. Dez. 2022

Zitieren

In this article vertex, edge and total colorings of graphs are formalized in the Mizar system [4] and [1], based on the formalization of graphs in [5].

eISSN:
1898-9934
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
4 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Informatik, andere, Mathematik, Allgemeines