会员服务
Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime
Arxiv
0+阅读 · 5月13日
The role of counting quantifiers in laminar set systems
Arxiv
0+阅读 · 5月18日
A Relativizing MIP for BQP
Arxiv
0+阅读 · 4月13日
Screening for Choice Sets
Arxiv
0+阅读 · 6月10日
Approximation theorems in bilipschitz invariant theory
Arxiv
0+阅读 · 3月24日
Polynomial Time Local Decision Revisited
Arxiv
0+阅读 · 3月31日
JSON Schema Inclusion through Refutational Normalization: Reconciling Efficiency and Completeness
Arxiv
0+阅读 · 4月13日
Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
Arxiv
0+阅读 · 4月29日
The framework to unify all complexity dichotomy theorems for Boolean tensor networks
Arxiv
0+阅读 · 3月10日
Static Analysis of Recursive SHACL
Static Analysis of Recursive SHACL
Arxiv
0+阅读 · 5月4日
CSS codes from the Bruhat order of Coxeter groups
Arxiv
0+阅读 · 3月17日
Derandomizing Isolation In Catalytic Logspace
Arxiv
0+阅读 · 2月6日
Screening for Choice Sets
Arxiv
0+阅读 · 1月22日
Derandomizing Isolation In Catalytic Logspace
Arxiv
0+阅读 · 2025年12月22日
Derandomizing Isolation In Catalytic Logspace
Arxiv
0+阅读 · 2025年12月10日
参考链接
微信扫码咨询专知VIP会员
Top