Works matching IS 09601295 AND DT 2024 AND VI 34 AND IP 4
Results: 3
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:
- Publication type:
- Article
New and improved bounds on the contextuality degree of multi-qubit configurations.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 4, p. 1, doi. 10.1017/S0960129524000057
- By:
- Publication type:
- Article
A 2-categorical proof of Frobenius for fibrations defined from a generic point.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 4, p. 1, doi. 10.1017/S0960129524000094
- By:
- Publication type:
- Article