- Ludwig Staiger. On the incomputability of computable dimension. Logical Methods in Computer Science, 16(2), 2020.
- Michael Blondin, Alain Finkel, Jean Goubault-Larrecq. Forward Analysis for WSTS, Part III: Karp-Miller Trees. Logical Methods in Computer Science, 16(2), 2020.
- Willem Conradie, Salih Durhan, Guido Sciavicco. An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). Logical Methods in Computer Science, 16(2), 2020.
- Mirai Ikebuchi, Keisuke Nakano. On properties of B-terms. Logical Methods in Computer Science, 16(2), 2020.
- Amir M. Ben-Amram, Geoff W. Hamilton. Tight Polynomial Worst-Case Bounds for Loop Programs. Logical Methods in Computer Science, 16(2), 2020.
- Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi. Trace Refinement in Labelled Markov Decision Processes. Logical Methods in Computer Science, 16(2), 2020.
- Davide Basile, Maurice H. ter Beek, Rosario Pugliese. Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Logical Methods in Computer Science, 16(2), 2020.
- Andreas Abel 0001, Thierry Coquand. Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality. Logical Methods in Computer Science, 16(2), 2020.
- G. Michele Pinna. Representing Dependencies in Event Structures. Logical Methods in Computer Science, 16(2), 2020.
- Ulrik Buchholtz, Kuen-Bang Hou. Cellular Cohomology in Homotopy Type Theory. Logical Methods in Computer Science, 16(2), 2020.