S. Abramsky

发表

S. Abramsky, 1990 .
S. Abramsky, 2009, 0910.2401.
Samson Abramsky, S. Abramsky, 1989, Mathematical Foundations of Programming Semantics.
S. Abramsky, 1999 .
Chris Hankin, Samson Abramsky, C. Hankin, 1987 .
Chris Hankin, Samson Abramsky, Geoffrey L. Burn, 1985 .
Samson Abramsky, S. Abramsky, 1983, ICALP.
Samson Abramsky, Thomas P. Jensen, S. Abramsky, 1991, POPL '91.
Samson Abramsky, S. Abramsky, 1994 .
P. Panangaden, R. Blute, S. Abramsky, 1998, math/9805102.
Samson Abramsky, Bob Coecke, S. Abramsky, 2004, LICS 2004.
S. Abramsky, G. McCusker, 2007 .
Samson Abramsky, S. Abramsky, 2006 .
Samson Abramsky, Adam Brandenburger, Andrei Savochkin, 2014 .
S. Abramsky, M. Sadrzadeh, 2014 .
Samson Abramsky, S. Abramsky, 1990, J. Log. Comput..
Samson Abramsky, Andrew M. Pitts, David E. Rydeheard, 1991 .
Samson Abramsky, Marina Lenisa, S. Abramsky, 1999 .
Rui Soares Barbosa, S. Abramsky, S. Perdrix, 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Paul G. Spirakis, Friedhelm Meyer auf der Heide, Cyril Gavoille, 1992, Lecture Notes in Computer Science.
Samson Abramsky, D. Gabbay, S. Abramsky, 1992 .
P. Panangaden, R. Blute, S. Abramsky, 1998, math/9805102.
Rui Soares Barbosa, Raymond Lal, S. Abramsky, 2016 .
Paul G. Spirakis, Friedhelm Meyer auf der Heide, Claude Kirchner, 2010 .
Samson Abramsky, Gilles Dowek, S. Abramsky, 2012, ERCIM News.
S. Abramsky, 2009, Encyclopedia of Complexity and Systems Science.
Robin Milner, Akinori Yonezawa, Peter Wegner, 1990, OOPSLA/ECOOP.
Akinori Yonezawa, Peter Wegner, Samson Abramsky, 1991, OOPSLA/ECOOP '90.
S. Abramsky, Tom'avs Jakl, T. Paine, 2022, CMCS.
S. Abramsky, Luca Reggio, 2021, ArXiv.
Dov M. Gabbay, Samson Abramsky, Tom Maibaum, 1995 .
Samson Abramsky, S. Abramsky, 1993, Theory and Formal Methods.
S. Abramsky, Dan Marsden, 2022, MFCS.
Rui Soares Barbosa, S. Abramsky, S. Perdrix, 2017 .
Samson Abramsky, S. Abramsky, 1985, Programs as Data Objects.
Samson Abramsky, S. Abramsky, 1986, Lecture Notes in Computer Science.
S. Abramsky, 2022, Fundam. Informaticae.
S. Abramsky, Luca Reggio, 2022, 2211.15808.
P. Wegner, G. Agha, S. Abramsky, 1991, OOPSLA/ECOOP '90.
S. Abramsky, 2013, Journal of Philosophical Logic.
S. Abramsky, 2013, Studia Logica.
Samson Abramsky, Jouko A. Väänänen, S. Abramsky, 2011, ArXiv.
Jouko Väänänen, Samson Abramsky, S. Abramsky, 2009, Synthese.
Samson Abramsky, Lucien Hardy, S. Abramsky, 2012, ArXiv.
Samson Abramsky, Simon Perdrix, Rui Soares Barbosa, 2017, ArXiv.
Rui Soares Barbosa, Shane Mansfield, Samson Abramsky, 2017, Physical review letters.
Samson Abramsky, Adam Brandenburger, S. Abramsky, 2011, 1102.0264.
Samson Abramsky, Bob Coecke, S. Abramsky, 2002, CTCS.
Samson Abramsky, S. Abramsky, 2016, ArXiv.
Samson Abramsky, Achim Jung, S. Abramsky, 1995, LICS 1995.
Samson Abramsky, Bob Coecke, S. Abramsky, 2007, Int. J. Unconv. Comput..
Samson Abramsky, Rui Soares Barbosa, Shane Mansfield, 2011, QPL.
Steven J. Vickers, Samson Abramsky, S. Abramsky, 1993, Mathematical Structures in Computer Science.
Samson Abramsky, S. Abramsky, 1991, Inf. Comput..
Samson Abramsky, S. Abramsky, 1987, Theor. Comput. Sci..
Samson Abramsky, S. Abramsky, 2011, ArXiv.
Bent Thomsen, Samson Abramsky, S. Abramsky, 2001, Theor. Comput. Sci..
Samson Abramsky, Bob Coecke, S. Abramsky, 2011 .
Samson Abramsky, Adam Brandenburger, S. Abramsky, 2014, Horizons of the Mind.
Samson Abramsky, S. Abramsky, 2005, Theor. Comput. Sci..
Samson Abramsky, Guy McCusker, S. Abramsky, 1997, CSL.
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1996, NATO ASI DPD.
Samson Abramsky, S. Abramsky, 1993, Theor. Comput. Sci..
Samson Abramsky, S. Abramsky, 1991, LICS.
S. Abramsky, Samson Abramsky, 2007 .
Samson Abramsky, Guy McCusker, S. Abramsky, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Radha Jagadeesan, Pasquale Malacaria, Samson Abramsky, 1994, Inf. Comput..
Samson Abramsky, Guy McCusker, S. Abramsky, 1994, Theory and Formal Methods.
C.-H. Luke Ong, Samson Abramsky, S. Abramsky, 1993, Inf. Comput..
Samson Abramsky, S. Abramsky, 2014, ArXiv.
Susan Stepney, Jonathan Timmis, Andrew Adamatzky, 2008, BCS Int. Acad. Conf..
Susan Stepney, Andrew Adamatzky, Colin G. Johnson, 2008 .
Samson Abramsky, Bob Coecke, S. Abramsky, 2008, 0808.1023.
Chris Hankin, Samson Abramsky, Geoffrey L. Burn, 1986, Sci. Comput. Program..
Susan Stepney, Samson Abramsky, Thomas J. Naughton, 2012, UCNC.
Samson Abramsky, Philip J. Scott, Esfandiar Haghverdi, 2002, Mathematical Structures in Computer Science.
D. Gabbay, S. Abramsky, T. Maibaum, 1995 .
Samson Abramsky, Giovanni Carù, S. Abramsky, 2019, Philosophical Transactions of the Royal Society A.
Samson Abramsky, Bob Coecke, S. Abramsky, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Samson Abramsky, Chris Heunen, S. Abramsky, 2012, 1206.0921.
Samson Abramsky, S. Abramsky, 1987 .
Samson Abramsky, S. Abramsky, 1996, CONCUR.
Radha Jagadeesan, Samson Abramsky, S. Abramsky, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
S. Abramsky, Nihil Shah, 2018, Annual Conference for Computer Science Logic.
Samson Abramsky, Nihil Shah, S. Abramsky, 2018, CSL.
Samson Abramsky, R. Sykes, S. Abramsky, 1985, FPCA.
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1999, Theor. Comput. Sci..
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1997, TACS.
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1996, Banff Higher Order Workshop.
Chris Hankin, Samson Abramsky, Geoffrey L. Burn, 1985, Programs as Data Objects.
Samson Abramsky, Rui Soares Barbosa, Shane Mansfield, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Samson Abramsky, S. Abramsky, 2010, Studia Logica.
Kohei Kishida, Samson Abramsky, Rui Soares Barbosa, 2015, Annual Conference for Computer Science Logic.
Samson Abramsky, Mehrnoosh Sadrzadeh, Víctor H. Cervantes, 2021, SEMSPACE.
Samson Abramsky, Shenggang Ying, Carmen M. Constantin, 2015, Inf. Comput..
Kohei Kishida, Samson Abramsky, Rui Soares Barbosa, 2015, CSL.
Samson Abramsky, S. Abramsky, 2009, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Samson Abramsky, Marina Lenisa, S. Abramsky, 2005, Ann. Pure Appl. Log..
J. V. Tucker, J. Roger Hindley, J. Goguen, 1997 .
Pengming Wang, Samson Abramsky, Anuj Dawar, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
S. Abramsky, Luca Reggio, 2022, 2211.15808.
Samson Abramsky, Dan Marsden, S. Abramsky, 2021, ArXiv.
S. Abramsky, Luca Reggio, 2021, Log. Methods Comput. Sci..
S. Abramsky, Nihil Shah, 2020, ArXiv.
Samson Abramsky, Dan Marsden, S. Abramsky, 2020, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Samson Abramsky, S. Abramsky, 2020, Theor. Comput. Sci..
Samson Abramsky, Luca Reggio, S. Abramsky, 2021, ICALP.
Octavio Zapata, Samson Abramsky, Rui Soares Barbosa, 2017, MFCS.
Samson Abramsky, Nikos Tzevelekos, S. Abramsky, 2011, ArXiv.
Rui Soares Barbosa, S. Abramsky, Amy Searle, 2023, ArXiv.
Samson Abramsky, S. Abramsky, 2017, Johan van Benthem on Logic and Information Dynamics.
Samson Abramsky, S. Abramsky, 2015, Realizability Semantics and Applications@FLoC.
Colin G. Johnson, A. Adamatzky, S. Stepney, 2008 .
Samson Abramsky, S. Abramsky, 2003, Mathematical Structures in Computer Science.
Radha Jagadeesan, Samson Abramsky, S. Abramsky, 1992, Journal of Symbolic Logic.
Samson Abramsky, S. Abramsky, 2010, Reflections on the Work of C. A. R. Hoare.
Samson Abramsky, S. Abramsky, 1992, Theor. Comput. Sci..
Samson Abramsky, S. Abramsky, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Samson Abramsky, S. Abramsky, 1990 .
Kohei Kishida, Samson Abramsky, Rui Soares Barbosa, 2016, ArXiv.
Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan, 1996 .
Samson Abramsky, Abhishek Dasgupta, S. Abramsky, 2016, ArXiv.
Samson Abramsky, S. Abramsky, 2014, Logic Without Borders.
Kohei Kishida, Samson Abramsky, Rui Soares Barbosa, 2017, TQC.
Samson Abramsky, S. Abramsky, 2014, Theor. Comput. Sci..
Samson Abramsky, S. Abramsky, 2012, In Search of Elegance in the Theory and Practice of Computation.
Samson Abramsky, Adam Brandenburger, S. Abramsky, 2011, ArXiv.
Colin G. Johnson, A. Adamatzky, S. Stepney, 2008, BCS Int. Acad. Conf..
Andrzej S. Murawski, C.-H. Luke Ong, Samson Abramsky, 2004, TACAS.
Samson Abramsky, S. Abramsky, 1996, CAAP.
Guy McCusker, Samson Abramsky, S. Abramsky, 1995 .
Samson Abramsky, Marina Lenisa, S. Abramsky, 2000, CSL.
Samson Abramsky, Bob Coecke, S. Abramsky, 2009, ArXiv.
Samson Abramsky, Norihiro Yamada, S. Abramsky, 2016, Mathematical Structures in Computer Science.
Samson Abramsky, Norihiro Yamada, S. Abramsky, 2016, ArXiv.
S. Abramsky, 2003, Mathematical Structures in Computer Science.
Samson Abramsky, David A. Fuller, S. Abramsky, 1988, New Generation Computing.
Samson Abramsky, Steven Vickers, S. Abramsky, 1993 .
Samson Abramsky, S. Abramsky, 2011, We Will Show Them!.
S. Abramsky, A. Jung, 1995, LICS 1995.
Rui Soares Barbosa, Samson Abramsky, S. Abramsky, 2020, CSL.