http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming
AbdelGawad, M. A. Elsevier Science B. V., Amsterdam 2014 p.3-19
Observationally-induced Algebras in Domain Theory
Battenfeld, I. Elsevier Science B. V., Amsterdam 2014 p.21-37
On a Condition for Semirings to Induce Compact Information Algebras
Guan, X.; Li, Y. Elsevier Science B. V., Amsterdam 2014 p.39-48
A Note on Finitely Derived Information Systems
Guo, L.; Li, Q.; Valtchev, P.; Godin, R. Elsevier Science B. V., Amsterdam 2014 p.49-59
Characterising E-projectives via Co-monads
Ho, W. K. Elsevier Science B. V., Amsterdam 2014 p.61-77
Formal Contexts for Algebraic Domains
Huang, M.; Li, Q.; Guo, L. Elsevier Science B. V., Amsterdam 2014 p.79-90
Coalgebras for Fuzzy Transition Systems
Wu, H.; Chen, Y. Elsevier Science B. V., Amsterdam 2014 p.91-101
Generalized Scott Topology on Sets with Families of Pre-orders
Wu, L. G.; Fan, L. Elsevier Science B. V., Amsterdam 2014 p.103-115
Representations of Algebraic Domains and Algebraic L-domains by Information Systems
Wu, M.; Li, Q.; Zhou, X. Elsevier Science B. V., Amsterdam 2014 p.117-129
On the Largest Cartesian Closed Category of Stable Domains
Xi, X.; Wu, G. Elsevier Science B. V., Amsterdam 2014 p.131-137