Om forfatteren
Serier
Værker af Samson Abramsky
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures (Handbook of Logic in Computer… (1992) 9 eksemplarer
Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures (Handbook of Logic in Computer… (1992) 6 eksemplarer
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010,… (2010) 5 eksemplarer
Abstract Interpretation of Declarative Languages (Ellis Horwood Books in Computing Science, Series in Computer) (1987) 3 eksemplarer
Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures (Handbook of Logic in Computer… (1992) 2 eksemplarer
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001… (2001) 1 eksemplar
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 :… (2003) 1 eksemplar
Handbook of Logic in Computer Science 1 eksemplar
Associated Works
Satte nøgleord på
Almen Viden
- Organisationer
- Royal Society (Fellow)
Royal Society of Edinburgh (Fellow)
Academia Europaea (Member) - Priser og hædersbevisninger
- Lovelace Medal (2013)
Medlemmer
Måske også interessante?
Associated Authors
Statistikker
- Værker
- 13
- Also by
- 3
- Medlemmer
- 50
- Popularitet
- #316,248
- Vurdering
- 5.0
- ISBN
- 18