会员服务
Bifurcation Logic: Separation Through Ordering
Arxiv
0+阅读 · 11月26日
Uniform Value and Decidability in Ergodic Blind Stochastic Games
Arxiv
0+阅读 · 11月21日
From Interpolating Formulas to Separating Languages and Back Again
Arxiv
0+阅读 · 12月3日
Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
Arxiv
0+阅读 · 12月5日
An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints
Arxiv
0+阅读 · 12月8日
Machine Learning for Quantifier Selection in cvc5
Arxiv
0+阅读 · 12月11日
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
Arxiv
0+阅读 · 2023年4月21日
Separability, Contextuality, and the Quantum Frame Problem
Arxiv
0+阅读 · 2023年4月19日
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Arxiv
0+阅读 · 2023年4月13日
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
Arxiv
0+阅读 · 2023年4月11日
Playing Stochastically in Weighted Timed Games to Emulate Memory
Arxiv
0+阅读 · 2023年4月6日
History-deterministic Timed Automata
Arxiv
0+阅读 · 2023年4月6日
Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
Arxiv
0+阅读 · 2023年4月6日
The Identity Problem in $\mathbb{Z} \wr \mathbb{Z}$ is decidable
Arxiv
0+阅读 · 2023年4月1日
Homogeneity and Homogenizability: Hard Problems for the Logic SNP
Arxiv
0+阅读 · 2023年3月30日
参考链接
微信扫码咨询专知VIP会员
Top