Works matching IS 09601295 AND DT 2024 AND VI 34 AND IP 4

Results: 3
    1

    On planarity of graphs in homotopy type theory.

    Published in:
    Mathematical Structures in Computer Science, 2024, v. 34, n. 4, p. 1, doi. 10.1017/S0960129524000100
    By:
    • Prieto-Cubides, Jonathan;
    • Gylterud, Håkon Robbestad
    Publication type:
    Article
    2
    3