Abramsky, Samson, 1953-....
Abramsky, S.
Abramsky, Samson
Samson Abramsky computer scientist
Abramsky, S. (Samson), 1953-
VIAF ID: 109321899 ( Personal )
Permalink: http://viaf.org/viaf/109321899
Preferred Forms
- 200 _ | ‡a Abramsky ‡b Samson ‡f 1953-....
-
-
-
-
- 100 1 _ ‡a Abramsky, Samson
-
-
- 100 1 _ ‡a Abramsky, Samson ‡d 1953-
- 100 1 _ ‡a Abramsky, Samson ‡d 1953-
- 100 1 _ ‡a Abramsky, Samson ‡d 1953-...
-
-
-
- 100 1 0 ‡a Abramsky, Samson, ‡d 1953-
- 100 1 _ ‡a Abramsky, Samson, ‡d 1953-....
- 100 0 _ ‡a Samson Abramsky ‡c computer scientist
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
Abstract interpretation of declarative languages, 1987: | |
Advances in distributed computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) | |
Algorithmes à propagation de messages et homologie. | |
Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, proceedings | |
Background : computational structures | |
Category theory and computer science : Paris, France, September 3-6, 1991, proceedings | |
Colloquium on Trees in Algebra and Programming (CAAP '91) | |
Computation, logic, games, and quantum foundations the many facets of Samson Abramsky ; essays dedicted to Samson Abramsky on the occasion of his 60th birthday ; [Festschrift] | |
Dependence logic theory and applications | |
[Discrete classical vs. continuous quantum data in abstract quantum mechanics] | |
Handbook of logic in computer science | |
Interacting Hopf Algebras- the Theory of Linear Systems | |
The interplay between quantum contextuality and Wigner negativity | |
Logic and algebraic methods | |
Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana | |
Mathematical Foundations of Programming Semantics (MFPS XXV) | |
Message-passing algorithms and homology : from thermodynamics to statistical learning | |
Models of Computation : An Introduction to Computability Theory | |
Non-localité des états symétriques et ses applications en informatique quantique | |
Quantifiers and duality | |
Relation entre contextualité quantique et négativité de la fonction de Wigner. | |
Relational hidden variables and non-locality | |
Semantic modelling | |
Semantic structures | |
TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 | |
TLCA 2001 | |
Topology of statistical systems : a cohomological approach to information theory | |
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings |