Axiomatic semantics of projection temporal logic programs
- 期刊名称Mathematical Structures in Computer Science
- 作者YANG, XIAOXIAO; DUAN, ZHENHUA; MA, QIAN
- 卷第20卷
- 期第5期
- 印刷ISSN0960-1295
- 电子ISSN1469-8072
- 文件大小1350.98KB
- 发表时间2010-10
- DOI10.1017/s0960129510000241
- 页码865-914
Cochlear Melanocytes and MITF SignalingTachibana, Masayoshi · Journal of Investigative Dermatology Symposium Proceedings · 2001
PrefaceJimbow, Kowichi; Kondo, Editors Seiji · Journal of Investigative Dermatology Symposium Proceedings · 2001
Pathomechanisms in Physical UrticariaGrabbe, Jürgen · Journal of Investigative Dermatology Symposium Proceedings · 2001
Basophils in Chronic UrticariaGrattan, C.E.H. · Journal of Investigative Dermatology Symposium Proceedings · 2001
Cold UrticariaClaudy, Alain · Journal of Investigative Dermatology Symposium Proceedings · 2001
Delayed Pressure UrticariaKobza-Black, Anne · Journal of Investigative Dermatology Symposium Proceedings · 2001
ReplyDascalu, Avi; Oron, Yoram; Korenstein, Rafi; Carlos García-Borrón, José · Journal of Investigative Dermatology · 2001
ReplyStanley, John R.; Nishikawa, Takeji; Diaz, Luis A.; Amagai, Masayuki · Journal of Investigative Dermatology · 2001