会员服务
Unifying Graded Linear Logic and Differential Operators
Arxiv
0+阅读 · 1月8日
Efficient Compression in Semigroups
Arxiv
0+阅读 · 1月8日
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
Arxiv
0+阅读 · 1月2日
Rewriting Modulo Traced Comonoid Structure
Arxiv
0+阅读 · 1月1日
Representing Sugihara monoids via weakening relations
Arxiv
0+阅读 · 2025年12月29日
Effectful Mealy Machines
Arxiv
0+阅读 · 2025年12月23日
Rewriting Modulo Traced Comonoid Structure
Arxiv
0+阅读 · 2025年11月5日
Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
Arxiv
0+阅读 · 2025年10月31日
Forbidden Induced Subgraph Characterization of Word-Representable Split Graphs
Arxiv
0+阅读 · 2025年12月13日
On the Complete Monotonicity of Rényi Entropy
Arxiv
0+阅读 · 2025年11月1日
Talagrand's convolution conjecture up to loglog via perturbed reverse heat
Arxiv
0+阅读 · 2025年11月24日
REWA: A General Theory of Witness-Based Similarity
Arxiv
0+阅读 · 2025年11月28日
A finer reparameterisation theorem for MSO and FO queries on strings
Arxiv
0+阅读 · 2025年12月6日
Are automated proof assistants ready for semigroup research? Orientation-preserving mappings and proof assistant Lean
Arxiv
0+阅读 · 2025年11月17日
Optimal Sequential Flows
Arxiv
0+阅读 · 2025年11月17日
参考链接
微信扫码咨询专知VIP会员
Top