Samson Abramsky
7 published titles
Abstract interpretation of declarative languages
(Contributor)
1 edition
- ISBN: 0745801099
- Horwood
- 1987
- Details
Handbook of logic in computer science
(Contributor)
3 editions
- ISBN: 0198537352
- Clarendon
- 1992
- Details
- ISBN: 0198537611
- Clarendon
- 1992
- Details
- ISBN: 0198537808
- Clarendon
- 1995
- Details
Handbook of logic in computer science. Vol. 3, Semantic structures
(Contributor)
1 edition
- ISBN: 019853762X
- Clarendon
- 1994
- Details
Logic and algebraic methods
(Contributor)
1 edition
- ISBN: 0198537816
- Clarendon
- 2000
- Details
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540419608
- Springer
- 2001
- Details
Visions of computer science BCS International Conference : proceedings of Visions and Computer Science, BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2004
(Contributor)
1 edition
- ISBN: 9781906124083
- BCS
- 2008
- Details
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday
(Contributor)
1 edition
- ISBN: 9783642381638
- Springer
- 2013
- Details
