logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
A

ACM Transactions on Computational Logic

IF
论文数18
被引数
期刊论文 18
发表时间
delete
Decidability of Graph Neural Networks via Logical Characterizations通过逻辑表征确定图神经网络的判定性
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteBenedikt, Michael; Lu, Chia-Hsuan; Tan, Tony
delete分享
delete收藏
Datalog-Expressibility for Monadic and Guarded Second-Order Logic单调和守卫二阶逻辑的Datalog-表达性
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteBodirsky, Manuel; Knaeuer, Simon; Rudolph, Sebastian
delete分享
delete收藏
Homomorphism Preservation Theorems for Many-Valued Structures多值结构同态保持定理
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteCarr, James
delete分享
delete收藏
Computational Complexity of the Weisfeiler-Leman DimensionWeisfeiler-Leman维数的计算复杂度
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteLichter, Moritz; Rassmann, Simon; Schweitzer, Pascal
delete分享
delete收藏
Counting Reduced Ordered Binary Decision Diagrams with Respect to Size按大小统计有序二进制决策图的数目
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteClement, Julien; Genitrini, Antoine
delete分享
delete收藏
Cyclic Implicit Complexity循环隐式复杂度
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteCurzi, Gianluca; Das, Anupam
delete分享
delete收藏
An Abstract Fixed-Point Theorem for Horn Formula EquationsHorn公式方程的一个抽象不动点定理
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteHetzl, Stefan; Kloibhofer, Johannes
delete分享
delete收藏
Computing and Certifying Twin-Width Using Logic使用逻辑计算和认证双宽度
deleteACM Transactions on Computational Logic
IF0
delete2026-01-01
delete0
PREAI
deleteSchidler, Andre; Szeider, Stefan
delete分享
delete收藏
A Nominal Approach to Equational Problems in Languages with Binders绑定符语言中的方程式问题的名义方法
deleteACM Transactions on Computational Logic
IF0
delete2026-01-01
delete0
PREAI
deleteNantes-Sobrinho, Daniele; Fernandez, Maribel; Vale, Deivid; Ayala-Rincon, Mauricio
delete分享
delete收藏
Counting of Teams in First-Order Team Logics一阶团队逻辑中的团队计数
deleteACM Transactions on Computational Logic
IF0
delete2026-01-01
delete0
PREAI
deleteHaak, Anselm; Kontinen, Juha; Muller, Fabian; Vollmer, Heribert; Yang, Fan
delete分享
delete收藏
Dependently Typed Higher-Order Logic依赖类型的高阶逻辑
deleteACM Transactions on Computational Logic
IF0
delete2026-01-01
delete0
PREAI
deleteRothgang, Colin; Rabe, Florian; Benzmuller, Christoph
delete分享
delete收藏
The Complexity of Linear Temporal Verification for Continuous Counter Systems连续计数器系统的线性时序验证复杂性
deleteACM Transactions on Computational Logic
IF0
delete2026-01-01
delete0
PREAI
deleteBlondin, Michael; Offtermatt, Philip; Sansfacon-Buchanan, Alex
delete分享
delete收藏
Centralized vs. Decentralized Monitors for Hyperproperties
deleteACM Transactions on Computational Logic
IF0
delete2026-01-01
delete1
PREAI
deleteAceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
delete分享
delete收藏
AGM Belief Revision, SemanticallyAGM信念修正，语义学上
deleteACM TRANSACTIONS ON COMPUTATIONAL LOGIC
IF0
delete2025-10-01
delete0
deleteOAAI
deleteFalakh, Faiq Miftakhul; Rudolph, Sebastian; Sauerwald, Kai
delete分享
delete收藏
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games混合动态埃伦费斯特-弗雷塞游戏
deleteACM TRANSACTIONS ON COMPUTATIONAL LOGIC
IF0
delete2025-10-01
delete0
PREAI
deleteBadia, Guillermo; Gaina, Daniel; Knapp, Alexander; Kowalski, Tomasz; Wirsing, Martin
delete分享
delete收藏
Intuitionistic Gödel-Löb without Sharps直觉主义哥德尔-洛布无尖号
deleteACM TRANSACTIONS ON COMPUTATIONAL LOGIC
IF0
delete2025-10-01
delete0
PREAI
deleteAguilera, Juan P.; Pacheco., Leonardo
delete分享
delete收藏
Regular Representations of Uniform TC0一致TC0的常规表示
deleteACM TRANSACTIONS ON COMPUTATIONAL LOGIC
IF0
delete2025-10-01
delete0
PREAI
deleteHella, Lauri; Kontinen, Juha; Luosto, Kerkko
delete分享
delete收藏
A Semantics for Modal Language Using a Rough Set Model Based on Subset Approximation Structure基于子集近似结构的模态语言粗糙集模型语义
deleteACM TRANSACTIONS ON COMPUTATIONAL LOGIC
IF0
delete2025-10-01
delete0
PREAI
deleteKhan, Md Aquil; Ranjan
delete分享
delete收藏