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
Deconfined Global Types for Asynchronous Sessions
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2023
|
Logical Methods in Computer Science
doi:10.46298/lmcs-19(1:3)2023
Linear equations for unordered data vectors in $[D]^k\to{}Z^d$
Piotr Hofman, Jakub Różycki
2022
|
Logical Methods in Computer Science
doi:10.46298/lmcs-18(4:11)2022
Linear Dependent Type Theory for Quantum Programming Languages
Peng Fu, Kohei Kishida, Peter Selinger
2022
|
Logical Methods in Computer Science
doi:10.46298/lmcs-18(3:28)2022
Synthesis of Computable Regular Functions of Infinite Words
V. Dave, E. Filiot, S. Krishna, N. Lhote
2022
|
Logical Methods in Computer Science
doi:10.46298/lmcs-18(2:23)2022
Asynchronous wreath product and cascade decompositions for concurrent behaviours
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
2022
|
Logical Methods in Computer Science
doi:10.46298/lmcs-18(2:22)2022