@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