Search results
The page '"ACM Transactions on Computational Logic"' does not exist; did you mean "ACM Transactions on Computational Logic"? If not, you can create a draft and submit it for review or request that a redirect be created, but consider checking the search results below to see whether the topic is already covered.
- 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) - 23:59, 11 July 2022
- Compulog-II, reused and generalized the term when he founded the ACM Transactions on Computational Logic in 2000 and became its first Editor-in-Chief. The term...3 KB (375 words) - 04:16, 7 April 2024
- "maintains close ties" with the related academic journal ACM Transactions on Computational Logic. The creation of this special interest group was suggested...4 KB (470 words) - 12:55, 28 February 2023
- journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic. LICS was originally sponsored solely by the IEEE, but...6 KB (672 words) - 07:18, 26 February 2024
- of Artificial Intelligence, the Editor-in-Chief of the ACM Transactions on Computational Logic, and an Editorial Advisor of the journal Theory and Practice...2 KB (191 words) - 17:53, 1 October 2023
- Machinery (ACM), has been a two-term Editor-in-Chief of the ACM Transactions on Computational Logic from 2009 to 2015 and holds an editorial appointment on...12 KB (1,311 words) - 14:25, 24 April 2024
- 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) - 08:26, 12 July 2024
- 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
- process. He is the founder and first Editor-in-Chief of the ACM Transactions on Computational Logic and past president of the Association for Logic Programming...11 KB (1,004 words) - 12:02, 20 March 2024
- 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
Abstract State Machines capture sequential algorithms. ACM Transactions on Computational Logic 1(1), 2000. N. Dershowitz and Y. Gurevich. A natural axiomatization...7 KB (836 words) - 01:30, 29 June 2024- procedure for linear arithmetic over the integers and reals" (PDF). ACM Transactions on Computational Logic. 6 (3): 614–633. doi:10.1145/1071596.1071601....2 KB (297 words) - 12:13, 21 September 2022
Editor-in-chief on the journal Logics Associate Editor of the ACM Transactions on Computational Logic and member of the editorial boards of several other scientific...6 KB (459 words) - 14:32, 3 October 2023- 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) - 15:50, 4 June 2024
- 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
Methods in Computer Science. She is Editor-in-Chief of ACM Transactions on Computational Logic. Kupferman, Orna (September 2002). "Alternating-time temporal...6 KB (509 words) - 13:54, 27 August 2023- Reviews ACM Computing Surveys ACM Transactions on Algorithms ACM Transactions on Computational Logic ACM Transactions on Database Systems ACM Transactions on...11 KB (1,012 words) - 21:53, 30 June 2024
- 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,163 words) - 10:02, 9 January 2024
Szeider, Stefan (2015), "A SAT approach to clique-width", ACM Transactions on Computational Logic, 16 (3): 24:1–24:27, arXiv:1304.5498, doi:10.1145/2736696...12 KB (1,392 words) - 05:03, 15 April 2024- Walukiewicz, Igor (2008). "Alternating Timed Automata". ACM Transactions on Computational Logic. 9 (2): 1–26. arXiv:cs/0512031. doi:10.1145/1342991.1342994...10 KB (1,603 words) - 06:35, 20 July 2024
