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...
2 KB (113 words) - 21:10, 18 August 2024
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...
3 KB (375 words) - 04:16, 7 April 2024
Association for Computing Machinery (redirect from ACM Press)
on Computational Logic (TOCL) ACM Transactions on Computer-Human Interaction (TOCHI) ACM Transactions on Database Systems (TODS) ACM Transactions on Graphics...
42 KB (4,061 words) - 13:01, 24 July 2025
(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...
85 KB (10,752 words) - 07:27, 12 July 2025
"maintains close ties" with the related academic journal ACM Transactions on Computational Logic. The creation of this special interest group was suggested...
5 KB (558 words) - 17:13, 23 June 2025
Algorithm (redirect from Computational algorithms)
Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pp. 77–111. Includes bibliography...
61 KB (7,016 words) - 18:37, 15 July 2025
Tiu, A. (2005). A proof theory for generic judgments. ACM Transactions on Computational Logic, 6(4), 749–783. Liang, C. & Miller, D. (2009). Focusing...
13 KB (1,356 words) - 07:04, 8 June 2025
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...
40 KB (4,529 words) - 09:16, 20 July 2025
Study of Computational Thinking". ACM Transactions on Computing Education. 21 (3): 20:1–20:17. doi:10.1145/3445984. "Association for Logic Programming"...
31 KB (3,221 words) - 02:07, 24 June 2025
Vladimir Lifschitz (category Logic programming researchers)
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...
2 KB (191 words) - 17:53, 1 October 2023
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...
93 KB (12,955 words) - 02:36, 20 July 2025
Calculus of structures (category Logic stubs)
Guglielmi (2004)., 'A System of Interaction and Structure'. ACM Transactions on Computational Logic. Kai Brünnler (2004). Deep Inference and Symmetry in Classical...
1 KB (114 words) - 14:42, 3 January 2024
logic II". ACM Transactions on Computational Logic 7 (2006), pages 331-362. G. Japaridze, "Propositional computability logic I". ACM Transactions on Computational...
26 KB (2,628 words) - 02:43, 30 January 2025
Church–Turing thesis (category Theory of computation)
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...
58 KB (6,849 words) - 09:27, 20 July 2025
External links ACM Computing Reviews ACM Computing Surveys ACM Transactions on Algorithms ACM Transactions on Computational Logic ACM Transactions on Database...
12 KB (1,065 words) - 05:25, 26 July 2025
Web Ontology Language (section Logic)
Hitzler P (2012). "Complexities of Horn Description Logics" (PDF). ACM Transactions on Computational Logic. 14 (1): 1–36. doi:10.1145/2422085.2422087. Retrieved...
43 KB (4,300 words) - 22:38, 18 July 2025
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...
39 KB (4,642 words) - 07:40, 20 July 2025
contributions from computational mathematics include ACM Transactions on Mathematical Software Mathematics of Computation SIAM Journal on Scientific Computing...
7 KB (577 words) - 08:03, 1 June 2025
IEEE Transactions on Autonomous Mental Development IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE Transactions on Computational Intelligence...
51 KB (5,561 words) - 17:15, 26 July 2025
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...
6 KB (670 words) - 09:18, 2 July 2025
Yuri Gurevich (category Commons category link is on Wikidata)
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)...
7 KB (836 words) - 08:22, 30 June 2025
Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, vol. 1, no. 1, (July 2000), pages 77–111. In a single...
12 KB (1,556 words) - 21:48, 22 April 2025
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...
1 KB (162 words) - 17:43, 17 May 2022
language with higher-order procedural variables" (PDF). ACM Transactions on Computational Logic. 10 (4): 1–37. doi:10.1145/1555746.1555750. S2CID 1367078...
17 KB (2,084 words) - 14:42, 22 July 2025
theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage...
50 KB (6,704 words) - 04:30, 7 July 2025
Abstract state machine (category Models of computation)
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...
12 KB (1,166 words) - 13:17, 6 August 2025
Alma-0 (category Logic programming languages)
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...
7 KB (627 words) - 01:59, 8 June 2024
Quantified Inequality Constraints over the Real Numbers". ACM Transactions on Computational Logic. 7 (4): 723–748. arXiv:cs/0211016. doi:10.1145/1183278...
4 KB (503 words) - 23:15, 25 April 2024
Kevin (2017). "Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems". ACM Transactions on Embedded Computing Systems. 16 (5s):...
33 KB (3,812 words) - 19:59, 19 June 2025
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;...
18 KB (2,913 words) - 04:16, 23 December 2024