- Andrew W. Swan. On the Nielsen-Schreier Theorem in Homotopy Type Theory. Logical Methods in Computer Science, 18(1), 2022.
- Bas Ketsman, Dan Suciu, Yufei Tao. A Near-Optimal Parallel Algorithm for Joining Binary Relations. Logical Methods in Computer Science, 18(2), 2022.
- Thierry Coquand, Simon Huber, Christian Sattler. Canonicity and homotopy canonicity for cubical type theory. Logical Methods in Computer Science, 18(1), 2022.
- Jonathan Sterling, Carlo Angiuli, Daniel Gratzer. A Cubical Language for Bishop Sets. Logical Methods in Computer Science, 18(1), 2022.
- Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani. Verified Approximation Algorithms. Logical Methods in Computer Science, 18(1), 2022.
- Massimo Bartoletti, Stefano Lande, Maurizio Murgia 0001, Roberto Zunino. Verifying liquidity of recursive Bitcoin contracts. Logical Methods in Computer Science, 18(1), 2022.
- Clifford Bergman, William J. DeMeo. Universal Algebraic Methods for Constraint Satisfaction Problems. Logical Methods in Computer Science, 18(1), 2022.
- Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Logical Methods in Computer Science, 18(1), 2022.
- Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi. Sequential Relational Decomposition. Logical Methods in Computer Science, 18(1), 2022.
- Szymon Torunczyk, Thomas Zeume. Register Automata with Extrema Constraints, and an Application to Two-Variable Logic. Logical Methods in Computer Science, 18(1), 2022.