Accesso libero

Introduction to Graph Colorings

INFORMAZIONI SU QUESTO ARTICOLO

Cita

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
Lingua:
Inglese
Frequenza di pubblicazione:
4 volte all'anno
Argomenti della rivista:
Computer Sciences, other, Mathematics, General Mathematics