Preprocessing of Min Ones Problems: A Dichotomy.
Kratsch, S
Wahlström, M
ICALP (1)
volume 6198
653-665
(2010)
Axiomatizing Fully Complete Models for ML Polymorphic Types.
Abramsky, S
Lenisa, M
MFCS
volume 1893
141-151
(2000)
Game Semantics: Achievements and Prospects.
Abramsky, S
ICALP
volume 1853
1-1
(2000)
Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218.
Abramsky, S
Aceto, L
Ingólfsdóttir, A
Inf. Comput.
volume 165
119-122
(2001)
What Makes Alan Turing a Great Scientist? - Introduction to the Special Theme.
Dowek, G
Abramsky, S
ERCIM News
volume 2012
(2012)
A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality
Abramsky, S
Brandenburger, A
CoRR
volume abs/1102.0264
(2011)
A Structural Approach to Reversible Computation
Abramsky, S
CoRR
volume abs/1111.7154
(2011)
Sequentiality vs. Concurrency in Games and Logic
Abramsky, S
CoRR
volume abs/1111.7159
(2011)
Geometry of Interaction and Linear Combinatory Algebras.
Abramsky, S
Haghverdi, E
Scott, P
Math. Struct. Comput. Sci.
volume 12
625-665
(2002)