Feed status
7 parsed articles
Last update: 2026-10-23
2026-10-13 · Volume 27 · Issue 4
Yi-Dong ShenThomas Eiter
ACM Transactions on Computational Logic, Volume 27, Issue 4 , Page 1-72, October 2026.
DOI: 10.1145/38402992026-09-26 · Volume 27 · Issue 4
Andreas KrebsArne MeierJonni VirtemaMartin Zimmermann
ACM Transactions on Computational Logic, Volume 27, Issue 4 , Page 1-36, October 2026.
DOI: 10.1145/38345612026-08-17 · Volume 27 · Issue 4
Francesco PontiggiaEzio BartocciMichele Chiari
ACM Transactions on Computational Logic, Volume 27, Issue 4 , Page 1-44, October 2026.
DOI: 10.1145/38225932026-08-17 · Volume 27 · Issue 4
Tim S. LyonPiotr Ostropolski-Nalewaja
ACM Transactions on Computational Logic, Volume 27, Issue 4 , Page 1-42, October 2026.
DOI: 10.1145/38212082026-07-15 · Volume 27 · Issue 4
Dominique UnruhBenoît ValironMingsheng Ying
ACM Transactions on Computational Logic, Volume 27, Issue 4 , Page 1-63, October 2026.
DOI: 10.1145/38155732026-07-15 · Volume 27 · Issue 4
Rodrigo Raya Jad HamzaViktor Kunčak
ACM Transactions on Computational Logic, Volume 27, Issue 4 , Page 1-19, October 2026.
DOI: 10.1145/38200352026-03-20
Stefan HetzlJohannes Kloibhofer
ACM Transactions on Computational Logic, Volume 27, Issue 2 , Page 1-35, April 2026.
DOI: 10.1145/3779416?af=r