ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Logical Methods in Computer Science
container_c67srop7pbe3nciquoxzy3d6pm
Published by Logical Methods in Computer Science
Search Releases from this Container
Example Publications
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
2020
|
Logical Methods in Computer Science
doi:10.23638/lmcs-16(4:17)2020
Collaboration vs. choreography conformance in BPMN
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
2020
|
Logical Methods in Computer Science
doi:10.23638/lmcs-16(4:7)2020
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
Andreas Abel, Thierry Coquand
2020
|
Logical Methods in Computer Science
doi:10.23638/lmcs-16(2:14)2020
Efficient and Modular Coalgebraic Partition Refinement
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
2020
|
Logical Methods in Computer Science
doi:10.23638/lmcs-16(1:8)2020
A symmetric protocol to establish service level agreements
Jan Friso Groote, Tim A. C. Willemse
2020
|
Logical Methods in Computer Science
doi:10.23638/lmcs-16(3:19)2020
815
Known Releases
Open Access Publication
Preservation Status
| 785 | preserved and accessble (bright) | |
| 0 | preserved, inaccessible (dark) | |
| 30 | no known preservation |
Work Types
article-journal
| 815 |
Lookup Links