On planarity of graphs in homotopy type theory
Article in Mathematical Structures in Computer Science (May 2024)
The most recent citing publications are shown below. View all 68 publications that cite this research output on Dimensions.
Article in Mathematical Structures in Computer Science (May 2024)
Article in European Journal of Combinatorics (May 2024)
Article in International Mathematics Research Notices (April 2024)