会员服务
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日
Sparse Approximation in Lattices and Semigroups
Arxiv
0+阅读 · 2月11日
Profinite trees, through Lawvere theories and the lambda-calculus
Arxiv
0+阅读 · 2月9日
Optimal Sequential Flows
Arxiv
0+阅读 · 2月6日
The Only Distributive Law Over the Powerset Monad Is the One You Know
Arxiv
0+阅读 · 2月13日
Groups and Inverse Semigroups in Lambda Calculus
Arxiv
0+阅读 · 2月5日
Rewriting Systems on Arbitrary Monoids
Arxiv
0+阅读 · 1月30日
Hybrid Lie semi-group and cascade structures for the generalized Gaussian derivative model for visual receptive fields
Arxiv
0+阅读 · 2月2日
The complexity of downward closures of indexed languages
Arxiv
0+阅读 · 1月27日
Examples and counterexamples of injective types
Arxiv
0+阅读 · 1月18日
A Program Logic for Abstract (Hyper)Properties
Arxiv
0+阅读 · 1月28日
New Trends in the Stability of Sinkhorn Semigroups
Arxiv
0+阅读 · 1月19日
参考链接
微信扫码咨询专知VIP会员
Top