ACM Trans. Comput. Log.

Keyphrases

Publications

volume 25, number 1, 2024

Domenico Cantone, Pietro Ursino
Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator. ACM Trans. Comput. Log. 25 (1) (2024)
Rob van Glabbeek
Comparing the Expressiveness of the π-calculus and CCS. ACM Trans. Comput. Log. 25 (1) (2024)
Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis
Algebraic Proof Theory for LE-logics. ACM Trans. Comput. Log. 25 (1) (2024)
Orna Kupferman, Gal Vardi
Perspective Games. ACM Trans. Comput. Log. 25 (1) (2024)
Michele Boreale, Luisa Collodi, Daniele Gorla
Products, Polynomials and Differential Equations in the Stream Calculus. ACM Trans. Comput. Log. 25 (1) (2024)
Laura Bozzelli, Bastien Maubert, Aniello Murano
On the Complexity of Model Checking Knowledge and Time. ACM Trans. Comput. Log. 25 (1) (2024)
Maximiliano Cristiá, Gianfranco Rossi
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. ACM Trans. Comput. Log. 25 (1) (2024)
Rance Cleaveland, Jeroen J. A. Keiren
Extensible Proof Systems for Infinite-State Systems. ACM Trans. Comput. Log. 25 (1) (2024)

volume 25, number 2, 2024

volume 24, number 1, 2023

volume 24, number 2, 2023

volume 24, number 3, 2023

volume 24, number 4, 2023

volume 23, number 4, 2022