ACM Transactions on Computational Logic
ISSN:
1529-3785
Country:
United States
ES-FAC
ES-FAC C
Eurascience Journal Classification System
📄 Articles published in this journal
- The Complexity of Resilience Problems via Valued Constraint Satisfaction 2026
- Computational Complexity of the Weisfeiler-Leman Dimension 2026
- Formalising Asynchronous Session Subtyping 2026
- Counting Reduced Ordered Binary Decision Diagrams with Respect to Size 2026
- Homomorphism Preservation Theorems for Many-Valued Structures 2026
- Cyclic Implicit Complexity 2026
- Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity 2026
- Reactive model-based testing of cyclic systems 2026
- Dimensionality and randomness 2026
- An Abstract Fixed-Point Theorem for Horn Formula Equations 2026