IEEE Symposium on Logic in Computer Science (LICS)
On the Separability Problem of VASS Reachability Languages.
关于向量加法系统可及性语言的可分性问题。
2024
δ is for Dialectica.
δ 代表《辩证法》。
2024
Defining algorithmically presented structures in first order logic.
定义一阶逻辑中的算法呈现结构。
2024
No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads.
无去定理：不分配于分布单子的有向容器。
2024
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata.
多项式歧义有理加权自动机的确定化和去歧义化。
2024
On the Completeness of Interpolation Algorithms.
插值算法的完备性研究。
2024
First order distinguishability of sparse random graphs.
稀疏随机图的一阶可区分性。
2024
A Profunctorial Semantics for Quantum Supermaps.
量子超映射的预层语义。
2024
Braids, Twists, Trace and Duality in Combinatory Algebras.
组合代数中的辫子、扭曲、迹和双对偶性。
2024
Are Targeted Messages More Effective?
目标化信息更有效吗？
2024
会议信息
会议名称：
IEEE Symposium on Logic in Computer Science
会议评级
CCF: A
CORE: A*
THCPL: A
年度会议
Year: 2023
Place: Boston University, USA
Date: June 26-29, 2023
Timeline:
Abstract Deadline: N/A
Deadline: 2023-01-23T23:59:59-12:00