ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Logical Methods in Computer Science
container_c67srop7pbe3nciquoxzy3d6pm
Logical Methods in Computer Science
Homepage URLs
https://lmcs.episciences.org/ |
http://www.lmcs-online.org/ |
http://www.lmcs-online.org/index.php/ |
Example Publications
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions
Paul Wild, Lutz Schröder
2022
|
Logical Methods in Computer Science
doi:10.46298/lmcs-18(2:19)2022
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
Makoto Hamana
2022
|
Logical Methods in Computer Science
doi:10.46298/lmcs-18(2:18)2022
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
2022
|
Logical Methods in Computer Science
doi:10.46298/lmcs-18(2:16)2022
Formalizing the Face Lattice of Polyhedra
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
2022
|
Logical Methods in Computer Science
doi:10.46298/lmcs-18(2:10)2022
Sequential Relational Decomposition
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
2022
|
Logical Methods in Computer Science
doi:10.46298/lmcs-18(1:37)2022