Acceso abierto

Introduction to Graph Colorings


Cite

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
Idioma:
Inglés
Calendario de la edición:
4 veces al año
Temas de la revista:
Computer Sciences, other, Mathematics, General Mathematics