会员服务
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
Arxiv
0+阅读 · 2月7日
Self-referential instances of the dominating set problem are irreducible
Arxiv
0+阅读 · 2月11日
Generalized Decidability via Brouwer Trees
Arxiv
0+阅读 · 2月11日
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
Arxiv
0+阅读 · 2月10日
On the undecidability of quantum channel capacities
Arxiv
0+阅读 · 2月10日
On the undecidability of quantum channel capacities
Arxiv
0+阅读 · 1月30日
Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
Arxiv
0+阅读 · 2月2日
Decidability of Interpretability
Arxiv
0+阅读 · 2月2日
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
Arxiv
0+阅读 · 1月29日
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
Arxiv
0+阅读 · 1月28日
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
Arxiv
0+阅读 · 1月26日
On the Subspace Orbit Problem and the Simultaneous Skolem Problem
Arxiv
0+阅读 · 1月26日
Diagonalization Without Relativization A Closer Look at the Baker-Gill-Solovay Theorem
Arxiv
0+阅读 · 1月14日
On the $p$-adic Skolem Problem
Arxiv
0+阅读 · 1月23日
Unification of Deterministic Higher-Order Patterns
Arxiv
0+阅读 · 1月28日
参考链接
微信扫码咨询专知VIP会员
Top