Accesso libero

Introduction to Graph Enumerations

INFORMAZIONI SU QUESTO ARTICOLO

Cita

In this article sets of certain subgraphs of a graph are formalized in the Mizar system [7], [1], based on the formalization of graphs in [11] briefly sketched in [12]. The main result is the spanning subgraph theorem.

eISSN:
1898-9934
Lingua:
Inglese
Frequenza di pubblicazione:
Volume Open
Argomenti della rivista:
Mathematics, General Mathematics, Computer Sciences, other