Otwarty dostęp

Introduction to Graph Enumerations


Zacytuj

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
Język:
Angielski
Częstotliwość wydawania:
Volume Open
Dziedziny czasopisma:
Mathematics, General Mathematics, Computer Sciences, other