About graph unions and intersections

DOI10.2478/forma-2020-0014OpenAlexW3142905759MaRDI QIDQ2113833

Sebastian Koch

Publication date: 14 March 2022

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2020-0014

zbMATH Keywords

graph theorygraph uniongraph intersection

Mathematics Subject Classification ID

Graph operations (line graphs, products, etc.) (05C76) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (1)

About graph sums

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• About graph complements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: About graph unions and intersections