sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000110818672 | 1 hits
Person
ISNI: 
0000 0001 1081 8672
Name: 
Abramsky, S.
Abramsky, Samson
Samson Abramsky (Brits informaticus)
Samson Abramsky (Computer scientist)
سامسون آبرامسکی (دانشمند علوم کامپیوتر و مهندس بریتانیایی)
Dates: 
1953-
Creation class: 
Computer file
cre
Language material
Text
Creation role: 
adapter
author
contributor
editor
redactor
Related names: 
Colloquium on Trees in Algebra and Programming (1991 ; Brighton)
Gabbay, Dov M. (1945-)
Hankin, Chris
Maibaum, T. S. E.
Maibaum, Thomas S. E. (1947-)
Mislove, Michael W.
Oxford University Press
Thesis / Dissertation ETD
Tulane University. Department of Mathematics
Titles: 
Abstract interpretation of declarative languages, 1987:
Advances in distributed computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)
Background
CCPSD 1991
Computational structures
Domain Theory and the Logic of Observable Properties
From IF to BI : a tale of dependence and separation
Handbook of logic in computer science
ICALP 2010
Interacting Hopf Algebras- the Theory of Linear Systems
Logic & 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)
Non-localité des états symétriques et ses applications en informatique quantique : Informatique et réseaux : Paris, Télécom ParisTech : 2013
Nonlocality of symmetric states and its applications in quantum information.
Relational hidden variables and non-locality : an international journal for symbolic logic. Vol. 101, nr 2 (2013).
Selected papers of the 4th Summer Conference on Category Theory and Computer Science, Paris, France, September 1991
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
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
Notes: 
Thesis / Dissertation ETD
Sources: 
VIAF LC NKC NLP NUKAT SUDOC WKD
BOWKER
NTA
TEL