About graph unions and intersections

DOI10.2478/FORMA-2020-0014OpenAlexW3142905759MaRDI QIDQ2113833FDOQ2113833

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Four decades of {\textsc{Mizar}}. Foreword
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• About graph complements
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited In (1)

• About graph sums

Uses Software

• Mizar

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2113833)