@article{lmcs:2665,
    Author = {Keimel, Klaus and Plotkin, Gordon},
    File = {Mixed powerdomains for probability and nondeterminism - 1612.01005 - a - a - r.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science},
    Month = {January},
    Title = {{Mixed powerdomains for probability and nondeterminism}},
    URL = {https://lmcs.episciences.org/2665},
    Volume = {{Volume 13, Issue 1}},
    Year = {2017},
    bdsk-url-1 = {https://lmcs.episciences.org/2665},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-13(1:2)2017},
    date-added = {2019-10-14 14:04:20 +0200},
    date-modified = {2019-10-14 14:04:20 +0200},
    doi = {10.23638/LMCS-13(1:2)2017}
}

@article{lmcs:2665, Author = {Keimel, Klaus and Plotkin, Gordon}, File = {Mixed powerdomains for probability and nondeterminism - 1612.01005 - a - a - r.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science}, Month = {January}, Title = {{Mixed powerdomains for probability and nondeterminism}}, URL = {https://lmcs.episciences.org/2665}, Volume = {{Volume 13, Issue 1}}, Year = {2017}, bdsk-url-1 = {https://lmcs.episciences.org/2665}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-13(1:2)2017}, date-added = {2019-10-14 14:04:20 +0200}, date-modified = {2019-10-14 14:04:20 +0200}, doi = {10.23638/LMCS-13(1:2)2017} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge