会员服务
LICS研讨会是一个年度国际论坛，讨论与广义逻辑相关的计算机科学理论和实践课题。官网链接：http://lics.siglog.org/
Abelian embeddings make useful promises: approximation of detrivialised equations
Arxiv
0+阅读 · 11月3日
Two Variables and Two-Dimensional Structures
Arxiv
0+阅读 · 10月14日
Rate-Distortion Adaptive Primitive Selection for Omnidirectional Gaussian Splatting
Arxiv
0+阅读 · 9月28日
Rate-Distortion Adaptive Primitive Selection for Omnidirectional Gaussian Splatting
Arxiv
0+阅读 · 9月30日
Complexity of Clique-Guarded First-Order Logic with Counting
Arxiv
0+阅读 · 6月23日
Transducing Linear Decompositions of Tournaments
Arxiv
0+阅读 · 6月15日
First-Order Query Evaluation with Cardinality Conditions
Arxiv
0+阅读 · 6月12日
Optimal Lower Bounds for Symmetric Modular Circuits
Arxiv
0+阅读 · 4月6日
Transducing Linear Decompositions of Tournaments
Arxiv
0+阅读 · 1月6日
Characterising memory in infinite games
Arxiv
0+阅读 · 2025年3月21日
Characterising memory in infinite games
Arxiv
0+阅读 · 2025年1月16日
Local structure of idempotent algebras I
Arxiv
0+阅读 · 2025年1月14日
Homomorphism Counts to Trees
Arxiv
1+阅读 · 2024年12月12日
LiCS: Navigation using Learned-imitation on Cluttered Space
Arxiv
0+阅读 · 2024年11月12日
Cross-Country Comparative Analysis of Climate Resilience and Localized Mapping in Data-Sparse Regions
Arxiv
0+阅读 · 2024年9月13日
参考链接
微信扫码咨询专知VIP会员
Top