Abramsky, Samson, 1953-....
Abramsky, S. (Samson), 1953-
Abramsky, Samson
VIAF ID: 109321899 (Personal)
Permalink: http://viaf.org/viaf/109321899
Preferred Forms
-
100 1 _ ‡a Abramsky, Samson ‡d (1953- ).
-
100 1 _ ‡a Abramsky, Samson, ‡d 1953-....
-
100 1 _ ‡a Abramsky, Samson
-
100 1 _ ‡a Abramsky, Samson ‡d 1953-
-
100 1 _ ‡a Abramsky, Samson, ‡d 1953-
-
100 1 _ ‡a Abramsky, S. ‡q (Samson), ‡d 1953-
-
200 _ | ‡a Abramsky ‡b Samson ‡f 1953-....
-
100 1 0 ‡a Abramsky, Samson, ‡d 1953-
4xx's: Alternate Name Forms (4)
Selected Titles
- Handbook of logic in computer science.
(11)
- Handbook of logic in computer science
(6)
- TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991.
(5)
- Abstract interpretation of declarative languages
(4)
- Typed lambda calculi and applications :
(3)
- Typed Lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
(3)
- Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991
(2)
- International Joint Conference on Theory and Practice of Software Development
(2)
- Background
(2)
- [Discrete classical vs. continuous quantum data in abstract quantum mechanics]
(1)
