2 results
On planarity of graphs in homotopy type theory
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 08 May 2024, pp. 1-41
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Decidability of regular language genus computation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 9 / October 2019
- Published online by Cambridge University Press:
- 10 April 2019, pp. 1428-1443
-
- Article
- Export citation