会员服务
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日
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder
Arxiv
0+阅读 · 2023年3月30日
Homogeneity and Homogenizability: Hard Problems for the Logic SNP
Arxiv
0+阅读 · 2023年3月26日
参考链接
微信扫码咨询专知VIP会员
Top