ACM Transactions on Computational Logic (ACM TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic...

when he founded the ACM Transactions on Computational Logic in 2000 and became its first Editor-in-Chief. The term “computational logic” came to prominence...

on Computational Logic (TOCL) ACM Transactions on Computer-Human Interaction (TOCHI) ACM Transactions on Database Systems (TODS) ACM Transactions on Graphics...

"maintains close ties" with the related academic journal ACM Transactions on Computational Logic. The creation of this special interest group was suggested...

(2008). "A logic of nonmonotone inductive definitions". ACM Transactions on Computational Logic. 9 (2): 14:1–14:52. arXiv:cs/0501025. doi:10.1145/1342991...

Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pp. 77–111. Includes bibliography...

Tiu, A. (2005). A proof theory for generic judgments. ACM Transactions on Computational Logic, 6(4), 749–783. Liang, C. & Miller, D. (2009). Focusing...

Abstract State Machines Capture Sequential Algorithms" (PDF). ACM Transactions on Computational Logic. 1 (1): 77–111. CiteSeerX 10.1.1.146.3017. doi:10.1145/343369...

Editor-in-Chief of the ACM Transactions on Computational Logic, and an Editorial Advisor of the journal Theory and Practice of Logic Programming. He, together...

Study of Computational Thinking". ACM Transactions on Computing Education. 21 (3): 20:1–20:17. doi:10.1145/3445984. "Association for Logic Programming"...

theorem", ACM Transactions on Computational Logic, vol. 9 no. 1 doi:10.1145/1297658.1297660 Barwise, Jon (1977). "An Introduction to First-Order Logic". In...

logic II". ACM Transactions on Computational Logic 7 (2006), pages 331-362. G. Japaridze, "Propositional computability logic I". ACM Transactions on Computational...

Guglielmi (2004)., 'A System of Interaction and Structure'. ACM Transactions on Computational Logic. Kai Brünnler (2004). Deep Inference and Symmetry in Classical...

Abstract State Machines Capture Sequential Algorithms" (PDF). ACM Transactions on Computational Logic. 1 (1): 77–111. CiteSeerX 10.1.1.146.3017. doi:10.1145/343369...

External links ACM Computing Reviews ACM Computing Surveys ACM Transactions on Algorithms ACM Transactions on Computational Logic ACM Transactions on Database...

contributions from computational mathematics include ACM Transactions on Mathematical Software Mathematics of Computation SIAM Journal on Scientific Computing...

Hitzler P (2012). "Complexities of Horn Description Logics" (PDF). ACM Transactions on Computational Logic. 14 (1): 1–36. doi:10.1145/2422085.2422087. Retrieved...

overlooked coherence construction for dependent type theories". ACM Transactions on Computational Logic. 16 (3): 1–31. arXiv:1411.1736. doi:10.1145/2754931. S2CID 14068103...

IEEE Transactions on Autonomous Mental Development IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE Transactions on Computational Intelligence...

Science and ACM Transactions on Computational Logic. LICS was originally sponsored solely by the IEEE, but as of the 2014 founding of the ACM Special Interest...

G. Governatori, and M. Maher (2001). Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255–287. v t e v t e...

Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, vol. 1, no. 1, (July 2000), pages 77–111. In a single...

Symbolic Logic 14:3, 2008, 299-350. A. Blass and Y. Gurevich. Abstract State Machines Capture Parallel Algorithms. ACM Transactions on Computational Logic 4(4)...

Quantified Inequality Constraints over the Real Numbers". ACM Transactions on Computational Logic. 7 (4): 723–748. arXiv:cs/0211016. doi:10.1145/1183278...

Jean-François (October 2000). "Search and strategies in OPL". ACM Transactions on Computational Logic. 1 (2): 285–320. CiteSeerX 10.1.1.17.836. doi:10.1145/359496...

language with higher-order procedural variables" (PDF). ACM Transactions on Computational Logic. 10 (4): 1–37. doi:10.1145/1555746.1555750. S2CID 1367078...

Abstract State Machines capture Sequential Algorithms, ACM Transactions on Computational Logic 1(1) (July 2000), 77–111. R. Stärk, J. Schmid and E. Börger...

Kevin (2017). "Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems". ACM Transactions on Embedded Computing Systems. 16 (5s):...

formally verified proof of the prime number theorem". ACM Transactions on Computational Logic. 9 (1): 2. arXiv:cs/0509025. doi:10.1145/1297658.1297660...

Computation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined;...