会员服务
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日
From Historical Puzzles to Grammatical Constraints: Circular Partitions, Generalized Run-Length Encodings, and Polynomial-Time Decidability
Arxiv
0+阅读 · 1月4日
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日
Quantitative Semantics for Jumping Automata
Arxiv
0+阅读 · 2025年12月27日
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日
参考链接
微信扫码咨询专知VIP会员
Top