著者典拠情報

標目形：
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. 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 , New York : Oxford University Press, 2000
シリーズ名: Handbook of logic in computer science ; v. 5
所蔵情報: loading…
2.

図書
図書
2. 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
所蔵情報: loading…
3.

図書
図書
3. 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
所蔵情報: loading…
4.

図書
図書
4. 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
所蔵情報: loading…
5.

図書
図書
5. 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
所蔵情報: loading…
6.

図書
図書
6. Abstract interpretation of declarative languages (: Horwood ; : Halsted)
editors, Samson Abramsky and Chris Hankin
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Halsted Press, 1987
シリーズ名: Ellis Horwood books in computing science ; . Series in computers and their applications
所蔵情報: loading…