会员服务
理论计算机科学( Theoretical Computer Science )，计算机科学( Computer Science )两大分支之一。
PVASS Reachability is Decidable
Arxiv
0+阅读 · 2月18日
A Theory for Probabilistic Polynomial-Time Reasoning
Arxiv
0+阅读 · 2月10日
Graph Homomorphisms and Universal Algebra
Arxiv
0+阅读 · 2月15日
A Simple and Combinatorial Approach to Proving Chernoff Bounds and Their Generalizations
Arxiv
0+阅读 · 2月9日
Accelerating Scientific Research with Gemini: Case Studies and Common Techniques
Accelerating Scientific Research with Gemini: Case Studies and Common Techniques
Arxiv
0+阅读 · 2月16日
Factor-balancedness, linear recurrence, and factor complexity
Arxiv
0+阅读 · 2月3日
Accelerating Scientific Research with Gemini: Case Studies and Common Techniques
Arxiv
0+阅读 · 2月3日
How to Verify a Turing Machine with Dafny
Arxiv
0+阅读 · 1月21日
Perspectives on Stochastic Localization
Arxiv
0+阅读 · 1月17日
Perfect codes in weakly metric association schemes
Arxiv
0+阅读 · 1月19日
Finding Diverse Solutions Parameterized by Cliquewidth
Arxiv
0+阅读 · 2025年12月29日
Dimension-Free Correlated Sampling for the Hypersimplex
Arxiv
0+阅读 · 2025年11月17日
Forbidden Induced Subgraph Characterization of Word-Representable Split Graphs
Arxiv
0+阅读 · 2025年12月13日
Topological Duality for Distributive Lattices: Theory and Applications
Arxiv
0+阅读 · 2023年4月5日
Viewpoint: A Theoretical Computer Science Perspective on Consciousness and Artificial General Intelligence
Arxiv
0+阅读 · 2023年3月30日
参考链接
微信扫码咨询专知VIP会员
Top