249 | -- | 250 | Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov. Preface |
251 | -- | 267 | Andrej Bauer, Iztok Kavkler. A constructive theory of continuous domains suitable for implementation |
268 | -- | 284 | Ernst-Erich Doberkat, Christoph Schubert. Coalgebraic logic for stochastic right coalgebras |
285 | -- | 291 | Yuri Leonidovich Ershov. On the classification of (effective) phi-spaces |
292 | -- | 306 | Klaus Keimel, Jimmie D. Lawson. D-completions and the d-topology |
307 | -- | 317 | Klaus Keimel, A. Rosenbusch, Thomas Streicher. A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language |
318 | -- | 332 | Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov. Definability in the h-quasiorder of labeled forests |
333 | -- | 340 | Yinbin Lei, Maokang Luo. Rough concept lattices and domains |
341 | -- | 355 | Vladimir Sazonov. Natural non-dcpo domains and f-spaces |