Ingo Battenfeld, Matthias Schröder. Observationally-induced lower and upper powerspace constructions. Journal of Logic and Algebraic Programming, 84(5):668-682, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.