- Nathanael Leedom Ackerman, Cameron E. Freer, Robert S. Lubarsky. Feedback computability on Cantor space. Logical Methods in Computer Science, 15(2), 2019.
- Benedikt Ahrens. Initial Semantics for Reduction Rules. Logical Methods in Computer Science, 15(1), 2019.
- Stefano Gogioso, William Zeng. Generalised Mermin-type non-locality arguments. Logical Methods in Computer Science, 15(2), 2019.
- Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky. Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. Logical Methods in Computer Science, 15(1), 2019.
- Lorenzo Clemente, Richard Mayr. Efficient reduction of nondeterministic automata with application to language inclusion testing. Logical Methods in Computer Science, 15(1), 2019.
- Sandra Kiefer, Pascal Schweitzer. Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic. Logical Methods in Computer Science, 15(2), 2019.
- Andrei Bulatov, Peter Mayr, Ágnes Szendrei. The Subpower Membership Problem for Finite Algebras with Cube Terms. Logical Methods in Computer Science, 15(1), 2019.
- Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk. Bisimulations for Delimited-Control Operators. Logical Methods in Computer Science, 15(2), 2019.
- Michele Boreale. Algebra, coalgebra, and minimization in polynomial differential equations. Logical Methods in Computer Science, 15(1), 2019.
- Ian A. Mason, Carolyn L. Talcott. Reasoning about effects: from lists to cyber-physical agents. Logical Methods in Computer Science, 15(2), 2019.