Unification of Graphs and Relations in Mizar

Publicado en línea: 09 ene 2021

Páginas: 173 - 186

Aceptado: 31 may 2020

DOI: https://doi.org/10.2478/forma-2020-0015

Palabras clave

graph theory, binary relation

© 2020 Sebastian Koch, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.