会员服务
A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
Arxiv
0+阅读 · 6月15日
From Phase Semantics to Base-extension Semantics (and back)
Arxiv
0+阅读 · 6月11日
The algebra of Krom logic programs
Arxiv
0+阅读 · 6月14日
Symmetries in Sorting
Arxiv
0+阅读 · 6月1日
Exploring the unleaved tree of numerical semigroups up to a given genus
Arxiv
0+阅读 · 5月12日
Talagrand's convolution conjecture up to loglog via perturbed reverse heat
Arxiv
0+阅读 · 5月1日
A finer reparameterisation theorem for MSO and FO queries on strings
Arxiv
0+阅读 · 5月22日
On Word Representations and Embeddings in Complex Matrices
Arxiv
0+阅读 · 4月16日
Equations over Finite Monoids with Infinite Promises
Arxiv
0+阅读 · 5月5日
Out-of-Order Membership in Regular Languages
Arxiv
0+阅读 · 5月8日
Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
Arxiv
0+阅读 · 5月9日
The complexity of downward closures of indexed languages
Arxiv
0+阅读 · 5月27日
A Program Logic for Abstract (Hyper)Properties
Arxiv
0+阅读 · 4月21日
Layered Monoidal Theories I: Diagrammatic Algebra and Applications
Arxiv
0+阅读 · 2月23日
A simple algorithm for checking equivalence of counting functions on free monoids
Arxiv
0+阅读 · 2月21日
参考链接
微信扫码咨询专知VIP会员
Top