会员服务
On the local consequence of modal Product logic: standard completeness and decidability
Arxiv
0+阅读 · 5月14日
Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
Arxiv
0+阅读 · 5月13日
On the Subspace Orbit Problem and the Simultaneous Skolem Problem
Arxiv
0+阅读 · 5月14日
Generalized Decidability via Brouwer Trees
Arxiv
0+阅读 · 5月13日
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
Arxiv
0+阅读 · 5月16日
Characterizing Streaming Decidability of CSPs via Non-Redundancy
Arxiv
0+阅读 · 5月13日
Unification of Deterministic Higher-Order Patterns (Full Version)
Arxiv
0+阅读 · 5月8日
Measuring Decidability as Related to Busy Beaver Numbers
Arxiv
0+阅读 · 5月6日
Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
Arxiv
0+阅读 · 5月9日
The memory of $ω$-regular and BC($Σ_2^0$) objectives
Arxiv
0+阅读 · 6月3日
Nonlinear Arithmetic with SMTLIB Division is Undecidable
Arxiv
0+阅读 · 6月3日
LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
Arxiv
0+阅读 · 5月26日
Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
Arxiv
0+阅读 · 5月5日
Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
Arxiv
0+阅读 · 5月26日
Termination of Real Linear Loops
Arxiv
0+阅读 · 5月1日
参考链接
微信扫码咨询专知VIP会员
Top