会员服务
On first-order definable operations on relational structures
Arxiv
0+阅读 · 5月29日
Balanced Fibonacci word rectangles, and beyond
Arxiv
0+阅读 · 4月14日
Positionality of Dumont--Thomas numeration systems for integers
Arxiv
0+阅读 · 4月23日
The complexity of Presburger arithmetic with power or powers
Arxiv
0+阅读 · 5月22日
Intersecting Dense Automata
Arxiv
0+阅读 · 5月19日
A Dichotomy Theorem for Automatic Structures
Arxiv
0+阅读 · 2月20日
A No-go Theorem for Coalgebraic Product Construction
Arxiv
0+阅读 · 2月21日
A Formal Framework for the Explanation of Finite Automata Decisions
Arxiv
0+阅读 · 2月17日
A Formal Framework for the Explanation of Finite Automata Decisions
Arxiv
0+阅读 · 2月12日
Wheeler Bisimulations
Arxiv
0+阅读 · 2月8日
A No-go Theorem for Coalgebraic Product Construction
Arxiv
0+阅读 · 2月1日
Fine-grained quantum advantage beyond double-logarithmic space
Arxiv
0+阅读 · 1月23日
A closer look at TDFA
Arxiv
0+阅读 · 1月16日
Symbolic Functional Decomposition: A Reconfiguration Approach
Arxiv
0+阅读 · 1月13日
Improved parallel derandomization via finite automata with applications
Arxiv
0+阅读 · 1月23日
参考链接
微信扫码咨询专知VIP会员
Top