Accesso libero

About Graph Unions and Intersections

INFORMAZIONI SU QUESTO ARTICOLO

Cita

In this article the union and intersection of a set of graphs are formalized in the Mizar system [5], based on the formalization of graphs in [7].

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