会员服务
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日
Semijoins of Annotated Relations
Arxiv
0+阅读 · 2月28日
Generalised Möbius Categories and Convolution Kleene Algebras
Arxiv
0+阅读 · 2月26日
Generalised Möbius Categories and Convolution Kleene Algebras
Arxiv
0+阅读 · 2月21日
Dichotomy for Axiomatising Inclusion Dependencies on K-Databases
Arxiv
0+阅读 · 2月20日
Locally Consistent K-relations: Entailment and Axioms of Functional Dependence
Arxiv
0+阅读 · 2月23日
Groups and Inverse Semigroups in Lambda Calculus
Arxiv
0+阅读 · 2月20日
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
Arxiv
0+阅读 · 2月27日
On topological and algebraic structures of categorical random variables
Arxiv
0+阅读 · 3月3日
Quantum Diffusion Models: Score Reversal Is Not Free in Gaussian Dynamics
Arxiv
0+阅读 · 3月6日
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
Arxiv
0+阅读 · 2月10日
Flexible constraint satisfiability and a problem in semigroup theory
Arxiv
0+阅读 · 2月10日
Automaticity of spacetime diagrams generated by cellular automata on commutative monoids
Arxiv
0+阅读 · 2月15日
Out-of-Order Membership to Regular Languages
Arxiv
0+阅读 · 2月13日
参考链接
微信扫码咨询专知VIP会员
Top