会员服务
Generalised Quantifiers Based on Rabin-Mostowski Index
Arxiv
0+阅读 · 1月8日
The structure of polynomial growth for tree automata/transducers and MSO set queries
Arxiv
0+阅读 · 1月6日
A syntactic proof of decidability for the logic of bunched implication BI
Arxiv
0+阅读 · 1月3日
Satisfiability in Łukasiewicz logic and its unbounded relative
Arxiv
0+阅读 · 2025年12月22日
Cubic Incompleteness: Hilbert's Tenth Problem at Degree Three
Arxiv
0+阅读 · 2025年12月30日
Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
Arxiv
0+阅读 · 2025年12月28日
Characterization and Decidability of FC-Definable Regular Languages
Arxiv
0+阅读 · 2025年12月21日
Undecidability of theories of semirings with fixed points
Arxiv
0+阅读 · 2025年12月22日
Bifurcation Logic: Separation Through Ordering
Arxiv
0+阅读 · 2025年11月26日
Uniform Value and Decidability in Ergodic Blind Stochastic Games
Arxiv
0+阅读 · 2025年11月21日
From Interpolating Formulas to Separating Languages and Back Again
Arxiv
0+阅读 · 2025年12月3日
Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
Arxiv
0+阅读 · 2025年12月5日
An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints
Arxiv
0+阅读 · 2025年12月8日
Machine Learning for Quantifier Selection in cvc5
Arxiv
0+阅读 · 2025年12月11日
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
Arxiv
0+阅读 · 2023年4月21日
参考链接
微信扫码咨询专知VIP会员
Top