会员服务
计算机科学中的逻辑方法是一种完全开放存取的、免费的电子期刊。委员会欢迎就涉及广义逻辑方法的计算机科学理论和实践领域发表的论文。论文以传统的方式进行评审，每张论文有两个或更多的评审。版权归作者所有。官网链接：https://lmcs.episciences.org/
Relating Apartness and Branching Bisimulation Games
Arxiv
0+阅读 · 11月5日
A Spectrum of Approximate Probabilistic Bisimulations
Arxiv
0+阅读 · 7月10日
The Transpension Type: Technical Report
Arxiv
0+阅读 · 5月23日
TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
Arxiv
0+阅读 · 3月12日
User-friendly guarantees for the Langevin Monte Carlo with inaccurate gradient
Arxiv
0+阅读 · 2月23日
Countdown games, and simulation on (succinct) one-counter nets
Arxiv
0+阅读 · 2023年2月8日
Countdown games, and simulation on (succinct) one-counter nets
Arxiv
0+阅读 · 2022年11月3日
Countdown games, and simulation on (succinct) one-counter nets
Arxiv
0+阅读 · 2022年7月25日
Countdown games, and simulation on (succinct) one-counter nets
Arxiv
0+阅读 · 2022年4月21日
Countdown games, and simulation on (succinct) one-counter nets
Arxiv
0+阅读 · 2021年10月18日
Multitask Gaussian Process with Hierarchical Latent Interactions
Arxiv
0+阅读 · 2021年10月2日
Countdown games, and simulation on (succinct) one-counter nets
Arxiv
0+阅读 · 2020年8月26日
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
Arxiv
0+阅读 · 2020年6月28日
Forward Analysis for WSTS, Part III: Karp-Miller Trees
Arxiv
0+阅读 · 2020年6月22日
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
Arxiv
0+阅读 · 2020年2月3日
参考链接
父主题
计算机科学理论
微信扫码咨询专知VIP会员
Top