会员服务
信息处理快报（IPL）致力于快速发表对信息处理的简短贡献。注重于原创研究文章，并且 这些文章着重于信息处理和计算方面，包括在计算机理论科学领域广为人知的工作以及高质量实验论文。 官网地址：http://dblp.uni-trier.de/db/journals/ipl/
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
Arxiv
0+阅读 · 11月12日
Proof-theoretic Semantics for the Logic of Bunched Implications
Arxiv
0+阅读 · 11月11日
Proof-theoretic Semantics for First-order Logic
Arxiv
0+阅读 · 10月15日
IPL: Leveraging Multimodal Large Language Models for Intelligent Product Listing
Arxiv
0+阅读 · 10月22日
Speaker-IPL: Unsupervised Learning of Speaker Characteristics with i-Vector based Pseudo-Labels
Arxiv
0+阅读 · 9月16日
From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
Arxiv
0+阅读 · 9月12日
Faster and simpler online/sliding rightmost Lempel-Ziv factorizations
Arxiv
0+阅读 · 8月6日
Matrix Multiplication Verification Using Coding Theory
Arxiv
0+阅读 · 7月20日
A Proof-theoretic Semantics for Intuitionistic Linear Logic
Arxiv
0+阅读 · 5月18日
Covariance Fitting Interferometric Phase Linking: Modular Framework and Optimization Algorithms
Arxiv
0+阅读 · 3月13日
From Basic Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
Arxiv
0+阅读 · 3月11日
A Proof-theoretic Semantics for Intuitionistic Linear Logic
Arxiv
0+阅读 · 2月3日
Categorical Proof-Theoretic Semantics
Arxiv
0+阅读 · 2月1日
From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
Arxiv
0+阅读 · 2023年10月19日
Matrix Multiplication Verification Using Coding Theory
Arxiv
0+阅读 · 2023年9月28日
参考链接
父主题
内容检索
数据挖掘
数据库
Elsevier
微信扫码咨询专知VIP会员
Top