|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming |
AbdelGawad, Moez A. |
2014 |
301 | C |
p. 3-19 17 p. |
artikel |
|
| 2 | A Duality Between Ω-categories and Algebraic Ω-categories |
Yao, Wei |
2014 |
301 | C |
p. 153-168 16 p. |
artikel |
|
| 3 | A Note on Finitely Derived Information Systems |
Guo, Lankun |
2014 |
301 | C |
p. 49-59 11 p. |
artikel |
|
| 4 | Characterising E-projectives via Co-monads |
Ho, Weng Kin |
2014 |
301 | C |
p. 61-77 17 p. |
artikel |
|
| 5 | Coalgebras for Fuzzy Transition Systems |
Wu, Hengyang |
2014 |
301 | C |
p. 91-101 11 p. |
artikel |
|
| 6 | Completely Precontinuous Posets |
Zhang, Wenfeng |
2014 |
301 | C |
p. 169-178 10 p. |
artikel |
|
| 7 | Formal Contexts for Algebraic Domains |
Huang, Mengqiao |
2014 |
301 | C |
p. 79-90 12 p. |
artikel |
|
| 8 | Generalized Scott Topology on Sets with Families of Pre-orders |
Wu, Li-Gang |
2014 |
301 | C |
p. 103-115 13 p. |
artikel |
|
| 9 | Meet Precontinuous Posets |
Zhang, Wenfeng |
2014 |
301 | C |
p. 179-188 10 p. |
artikel |
|
| 10 | Observationally-induced Algebras in Domain Theory |
Battenfeld, Ingo |
2014 |
301 | C |
p. 21-37 17 p. |
artikel |
|
| 11 | On a Condition for Semirings to Induce Compact Information Algebras |
Guan, Xuechong |
2014 |
301 | C |
p. 39-48 10 p. |
artikel |
|
| 12 | On the Largest Cartesian Closed Category of Stable Domains |
Xi, Xiaoyong |
2014 |
301 | C |
p. 131-137 7 p. |
artikel |
|
| 13 | Preface |
Liu, Ying-Ming |
2014 |
301 | C |
p. 1-2 2 p. |
artikel |
|
| 14 | Reductions and Saturation Reductions of (Abstract) Knowledge Bases |
Xu, Luoshan |
2014 |
301 | C |
p. 139-151 13 p. |
artikel |
|
| 15 | Representations of Algebraic Domains and Algebraic L-domains by Information Systems |
Wu, Mingyuan |
2014 |
301 | C |
p. 117-129 13 p. |
artikel |
|
| 16 | T ω as a Stable Universal Domain |
Zhao, Haoran |
2014 |
301 | C |
p. 189-202 14 p. |
artikel |
16 gevonden resultaten