会员服务
Extended Frege proofs, circuits and rewriting
Arxiv
0+阅读 · 10月15日
A Non-Dichotomy for CSPs of Stable $ω$-Categorical Structures
Arxiv
0+阅读 · 10月14日
Modal Extensions of Generalised Nelson Logics
Arxiv
0+阅读 · 10月7日
Kleene Algebra with Transitive Commutativity Conditions
Arxiv
0+阅读 · 7月10日
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日
参考链接
微信扫码咨询专知VIP会员
Top