logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
A

ACM Transactions on Computational Logic

IF
Papers18
Citations
Journal Papers 18
Publication Date
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
deleteShare
deleteSave
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteBodirsky, Manuel; Knaeuer, Simon; Rudolph, Sebastian
deleteShare
deleteSave
Homomorphism Preservation Theorems for Many-Valued Structures
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteCarr, James
deleteShare
deleteSave
Computational Complexity of the Weisfeiler-Leman Dimension
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteLichter, Moritz; Rassmann, Simon; Schweitzer, Pascal
deleteShare
deleteSave
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
deleteShare
deleteSave
Cyclic Implicit Complexity
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteCurzi, Gianluca; Das, Anupam
deleteShare
deleteSave
An Abstract Fixed-Point Theorem for Horn Formula Equations
deleteACM Transactions on Computational Logic
IF0
delete2026-04-01
delete0
PREAI
deleteHetzl, Stefan; Kloibhofer, Johannes
deleteShare
deleteSave
Computing and Certifying Twin-Width Using Logic
deleteACM Transactions on Computational Logic
IF0
delete2026-01-01
delete0
PREAI
deleteSchidler, Andre; Szeider, Stefan
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Dependently Typed Higher-Order Logic
deleteACM Transactions on Computational Logic
IF0
delete2026-01-01
delete0
PREAI
deleteRothgang, Colin; Rabe, Florian; Benzmuller, Christoph
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
AGM Belief Revision, Semantically
deleteACM TRANSACTIONS ON COMPUTATIONAL LOGIC
IF0
delete2025-10-01
delete0
deleteOAAI
deleteFalakh, Faiq Miftakhul; Rudolph, Sebastian; Sauerwald, Kai
deleteShare
deleteSave
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
deleteShare
deleteSave
Intuitionistic Gödel-Löb without Sharps
deleteACM TRANSACTIONS ON COMPUTATIONAL LOGIC
IF0
delete2025-10-01
delete0
PREAI
deleteAguilera, Juan P.; Pacheco., Leonardo
deleteShare
deleteSave
Regular Representations of Uniform TC0
deleteACM TRANSACTIONS ON COMPUTATIONAL LOGIC
IF0
delete2025-10-01
delete0
PREAI
deleteHella, Lauri; Kontinen, Juha; Luosto, Kerkko
deleteShare
deleteSave
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
deleteShare
deleteSave