|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A constructive theory of continuous domains suitable for implementation |
Bauer, Andrej |
2009 |
159 | 3 |
p. 251-267 17 p. |
artikel |
|
| 2 | A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language |
Keimel, K. |
2009 |
159 | 3 |
p. 307-317 11 p. |
artikel |
|
| 3 | Coalgebraic logic for stochastic right coalgebras |
Doberkat, Ernst-Erich |
2009 |
159 | 3 |
p. 268-284 17 p. |
artikel |
|
| 4 | Contents |
2009 |
159 | 3 |
p. ii- 1 p. |
artikel |
||
| 5 | D -completions and the d -topology |
Keimel, Klaus |
2009 |
159 | 3 |
p. 292-306 15 p. |
artikel |
|
| 6 | Definability in the h -quasiorder of labeled forests |
Kudinov, Oleg V. |
2009 |
159 | 3 |
p. 318-332 15 p. |
artikel |
|
| 7 | Natural non-dcpo domains and f-spaces |
Sazonov, Vladimir |
2009 |
159 | 3 |
p. 341-355 15 p. |
artikel |
|
| 8 | On the classification of (effective) φ -spaces |
Ershov, Yu.L. |
2009 |
159 | 3 |
p. 285-291 7 p. |
artikel |
|
| 9 | Preface |
Ershov, Yuri L. |
2009 |
159 | 3 |
p. 249-250 2 p. |
artikel |
|
| 10 | Rough concept lattices and domains |
Lei, Yinbin |
2009 |
159 | 3 |
p. 333-340 8 p. |
artikel |
10 gevonden resultaten