A Homological Theory of Functions: Nonuniform Boolean Complexity Separation and VC Dimension Bound Via Algebraic Topology, and a Homological Farkas Lemma 论文
2013arXiv (Cornell University)引用 385
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeHomotopy and Cohomology in Algebraic Topology
A Homological Theory of Functions: Nonuniform Boolean Complexity Separation and VC Dimension Bound Via Algebraic Topology, and a Homological Farkas Lemma · 相关技术
暂无数据