著者典拠情報

著者標目形：
Abramsky, Samson, 1953-
属性：
Personal
日付：
1953-
から見よ参照形：
Abramsky, S
注記：
Abstract interpretation of declarative languages, 1987: CIP t.p. (Samson Abramsky, B.A.; lecturer, Dept. of Computing, Imperial College of Science and Technology, London) data sheet (b. 3/12/53)
著者典拠ID：
DA0188858X


1.

図書
図書
1. Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
Samson Abramsky (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c2001
シリーズ名: Lecture notes in computer science ; 2044
所蔵情報: 図書館
2.

図書
図書
2. Logic and algebraic methods
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 2000
シリーズ名: Handbook of logic in computer science ; v. 5
所蔵情報: 図書館
3.

図書
図書
3. Semantic modelling
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
出版情報: Oxford : Clarendon Press, 1995
シリーズ名: Handbook of logic in computer science ; v. 4
所蔵情報: 図書館
4.

図書
図書
4. Semantic structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
出版情報: Oxford : Clarendon Press, 1994
シリーズ名: Handbook of logic in computer science ; v. 3
所蔵情報: 図書館
5.

図書
図書
5. Background : computational structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 2
所蔵情報: 図書館
6.

図書
図書
6. Background : mathematical structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 1
所蔵情報: 図書館
7.

図書
図書
7. Colloquium on Trees in Algebra and Programming (CAAP '91) (: Berlin ; : New York)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 493 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 1
所蔵情報: 図書館
8.

図書
図書
8. Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) (: Berlin ; : New York)
S. Abramsky, T.S.E. Maibaum, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 494 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 2
所蔵情報: 図書館