会员服务
Functional completeness and primitive positive decomposition of relations on finite domains
Arxiv
0+阅读 · 6月17日
Monadic dependence from reducts, and applications to twin-width of oriented graphs
Arxiv
0+阅读 · 6月17日
On the enumeration of Tarski fixed points
Arxiv
0+阅读 · 4月26日
A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
Arxiv
0+阅读 · 4月23日
Extended Frege proofs, circuits and rewriting
Arxiv
0+阅读 · 6月11日
Collusion Relations and their Applications to Balance Theory
Arxiv
0+阅读 · 5月3日
On the generic information capacity of relational schemas with a single binary relation
Arxiv
0+阅读 · 3月18日
Let's Play Tag: Linear Time Evaluation of Conjunctive Queries under TGD Constraints
Arxiv
0+阅读 · 3月19日
Complexity lower bounds for succinct binary structures of bounded clique-width with restrictions
Arxiv
0+阅读 · 2月20日
Pregroup representable expansions of residuated lattices
Arxiv
0+阅读 · 1月22日
Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
Arxiv
0+阅读 · 1月29日
Representing Sugihara monoids via weakening relations
Arxiv
0+阅读 · 2025年12月29日
PSPACE-Completeness of the Equational Theory of Relational Kleene Algebra with Graph Loop
Arxiv
0+阅读 · 2025年12月28日
Monadic Second-Order Logic of Permutations
Arxiv
0+阅读 · 2025年11月4日
A Rocq Formalization of Monomial and Graded Orders
Arxiv
0+阅读 · 2025年12月4日
参考链接
微信扫码咨询专知VIP会员
Top