Samson Abramsky

发表

Gul Agha, Peter Wegner, Akinori Yonezawa, 1990, OOPSLA/ECOOP '90.
Samson Abramsky, Mehrnoosh Sadrzadeh, 2014, Categories and Types in Logic, Language, and Physics.
Radha Jagadeesan, Samson Abramsky, 2005, Ann. Pure Appl. Log..
Samson Abramsky, 2008, Concurrency, Graphs and Models.
Kohei Kishida, Samson Abramsky, Rui Soares Barbosa, 2015, CSL.
Samson Abramsky, 2007, Electron. Notes Theor. Comput. Sci..
Samson Abramsky, Philip J. Scott, Esfandiar Haghverdi, 2002, Mathematical Structures in Computer Science.
Samson Abramsky, Bob Coecke, S. Abramsky, 2007, Int. J. Unconv. Comput..
Samson Abramsky, S. Abramsky, 1991, Inf. Comput..
Samson Abramsky, Rui Soares Barbosa, Shane Mansfield, 2011, QPL.
Chris Hankin, Samson Abramsky, C. Hankin, 1987 .
Octavio Zapata, Samson Abramsky, Rui Soares Barbosa, 2017, MFCS.
Samson Abramsky, Adam Brandenburger, S. Abramsky, 2011, 1102.0264.
Kohei Kishida, Samson Abramsky, Rui Soares Barbosa, 2017 .
Radha Jagadeesan, Samson Abramsky, Matthijs Vákár, 2018, Inf. Comput..
Samson Abramsky, S. Abramsky, 2016, ArXiv.
Dov M. Gabbay, Samson Abramsky, Tom Maibaum, 1995 .
Samson Abramsky, 2009, Ershov Memorial Conference.
Heribert Vollmer, Samson Abramsky, Juha Kontinen, 2013, Dagstuhl Reports.
Samson Abramsky, Guy McCusker, 1996, Electron. Notes Theor. Comput. Sci..
C.-H. Luke Ong, Samson Abramsky, S. Abramsky, 1993, Inf. Comput..
Samson Abramsky, S. Abramsky, 1987, Theor. Comput. Sci..
Samson Abramsky, 1991 .
Samson Abramsky, Rui Soares Barbosa, Shane Mansfield, 2011 .
Samson Abramsky, S. Abramsky, 2005, Theor. Comput. Sci..
Dov M. Gabbay, Tom Maibaum, Samson Abramsky, 1995 .
Radha Jagadeesan, Samson Abramsky, Matthijs Vákár, 2015, ICALP.
Samson Abramsky, S. Abramsky, 1996, CAAP.
Samson Abramsky, Rui Soares Barbosa, Shane Mansfield, 2016 .
Bent Thomsen, Samson Abramsky, S. Abramsky, 2001, Theor. Comput. Sci..
Samson Abramsky, S. Abramsky, 1990, J. Log. Comput..
Chris Hankin, Samson Abramsky, Geoffrey L. Burn, 1985 .
Chris Hankin, Samson Abramsky, Geoffrey L. Burn, 1985, Programs as Data Objects.
Samson Abramsky, S. Abramsky, 2012, In Search of Elegance in the Theory and Practice of Computation.
Samson Abramsky, 1996, CAAP.
Chris Hankin, Samson Abramsky, Geoffrey L. Burn, 1986, Sci. Comput. Program..
Samson Abramsky, S. Abramsky, 2014, ArXiv.
Samson Abramsky, S. Abramsky, 1996, CONCUR.
Marios Mavronicolas, Samson Abramsky, 2005, Theor. Comput. Sci..
Samson Abramsky, R. Sykes, S. Abramsky, 1985, FPCA.
Andrzej S. Murawski, Samson Abramsky, Ian Stark, 2004, LICS 2004.
Samson Abramsky, Adam Brandenburger, S. Abramsky, 2011, ArXiv.
Samson Abramsky, S. Abramsky, 1993, Theory and Formal Methods.
Samson Abramsky, Chris Heunen, 2012 .
Fabio Gadducci, Samson Abramsky, John C. Baez, 2014 .
Radha Jagadeesan, Samson Abramsky, S. Abramsky, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Samson Abramsky, Bob Coecke, S. Abramsky, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Radha Jagadeesan, Samson Abramsky, 2009, MFPS.
Samson Abramsky, S. Abramsky, 2011, We Will Show Them!.
Samson Abramsky, David A. Fuller, S. Abramsky, 1988, New Generation Computing.
Samson Abramsky, Adam Brandenburger, S. Abramsky, 2014, Horizons of the Mind.
Radha Jagadeesan, Samson Abramsky, Pasquale Malacaria, 2000, Inf. Comput..
Samson Abramsky, Bob Coecke, S. Abramsky, 2002, CTCS.
Samson Abramsky, Norihiro Yamada, S. Abramsky, 2016, ArXiv.
Samson Abramsky, 2009, Encyclopedia of Complexity and Systems Science.
Kohei Kishida, Samson Abramsky, Rui Soares Barbosa, 2016, ArXiv.
Kohei Kishida, Samson Abramsky, Rui Soares Barbosa, 2015 .
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1996, Banff Higher Order Workshop.
Paul G. Spirakis, Friedhelm Meyer auf der Heide, Claude Kirchner, 2010 .
Samson Abramsky, 2000 .
Samson Abramsky, Simon Perdrix, Rui Soares Barbosa, 2017, ArXiv.
Samson Abramsky, Viktor Winschel, 2017, Math. Struct. Comput. Sci..
Samson Abramsky, S. Abramsky, 1991, LICS.
Samson Abramsky, S. Abramsky, 2010, Studia Logica.
Luca Aceto, Anna Ingólfsdóttir, Samson Abramsky, 2001, Inf. Comput..
Samson Abramsky, D. Gabbay, S. Abramsky, 1992 .
Samson Abramsky, Thomas P. Jensen, S. Abramsky, 1991, POPL '91.
Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan, 1996 .
Samson Abramsky, Guy McCusker, S. Abramsky, 1997, CSL.
Kohei Kishida, Samson Abramsky, Rui Soares Barbosa, 2015, Annual Conference for Computer Science Logic.
Samson Abramsky, Guy McCusker, S. Abramsky, 1994, Theory and Formal Methods.
Samson Abramsky, 1989, Logic at Botik.
Samson Abramsky, S. Abramsky, 2010, Reflections on the Work of C. A. R. Hoare.
Susan Stepney, Jonathan Timmis, Andrew Adamatzky, 2008, BCS Int. Acad. Conf..
Samson Abramsky, Marina Lenisa, 2000, MFCS.
Susan Stepney, Andrew Adamatzky, Colin G. Johnson, 2008 .
Samson Abramsky, S. Abramsky, 1990 .
Michael W. Mislove, Samson Abramsky, Jean Krivine, 2012, Dagstuhl Reports.
Radha Jagadeesan, Samson Abramsky, 2003, FoSSaCS.
Samson Abramsky, Nikos Tzevelekos, S. Abramsky, 2011, ArXiv.
Samson Abramsky, Achim Jung, S. Abramsky, 1995, LICS 1995.
Samson Abramsky, Bob Coecke, S. Abramsky, 2009, ArXiv.
Samson Abramsky, Bob Coecke, S. Abramsky, 2008, 0808.1023.
Samson Abramsky, Lucien Hardy, S. Abramsky, 2012, ArXiv.
Samson Abramsky, Abhishek Dasgupta, S. Abramsky, 2016, ArXiv.
Samson Abramsky, David E. Rydeheard, Axel Poigné, 1985 .
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1999, Theor. Comput. Sci..
Samson Abramsky, Guy McCusker, Kohei Honda, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Samson Abramsky, 2010, MFPS.
Samson Abramsky, S. Abramsky, 2015, Realizability Semantics and Applications@FLoC.
Samson Abramsky, S. Abramsky, 1989, Mathematical Foundations of Programming Semantics.
Samson Abramsky, Nihil Shah, S. Abramsky, 2018, CSL.
Andrzej S. Murawski, C.-H. Luke Ong, Samson Abramsky, 2004, TACAS.
Samson Abramsky, S. Abramsky, 2014, Theor. Comput. Sci..
Samson Abramsky, Gilles Dowek, S. Abramsky, 2012, ERCIM News.
Michael W. Mislove, Samson Abramsky, 2012 .
Samson Abramsky, Rui Soares Barbosa, Shane Mansfield, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Samson Abramsky, 1994, FME 1994.
Samson Abramsky, S. Abramsky, 1986, Lecture Notes in Computer Science.
Samson Abramsky, S. Abramsky, 2009, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Samson Abramsky, S. Abramsky, 2011, ArXiv.
Samson Abramsky, Bob Coecke, 2013 .
Samson Abramsky, S. Abramsky, 2017, Johan van Benthem on Logic and Information Dynamics.
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1997, TACS.
Andrzej S. Murawski, C.-H. Luke Ong, Samson Abramsky, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Samson Abramsky, Shenggang Ying, Carmen M. Constantin, 2015, Inf. Comput..
Robin Milner, Akinori Yonezawa, Peter Wegner, 1990, OOPSLA/ECOOP.
Andrzej S. Murawski, Samson Abramsky, Dan R. Ghica, 2004, LICS 2004.
Radha Jagadeesan, Samson Abramsky, 1994, Inf. Comput..
Susan Stepney, Samson Abramsky, Thomas J. Naughton, 2012, UCNC.
Krysia Broda, Sophia Drossopoulou, Samson Abramsky, 1993, Comput. J..
Samson Abramsky, Steven Vickers, S. Abramsky, 1993 .
Samson Abramsky, Andrew M. Pitts, David E. Rydeheard, 1991 .
Samson Abramsky, S. Abramsky, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Rajagopal Nagarajan, Samson Abramsky, Simon J. Gay, 1996, NATO ASI DPD.
Samson Abramsky, S. Abramsky, 1987 .
Samson Abramsky, Guy McCusker, S. Abramsky, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Akinori Yonezawa, Peter Wegner, Samson Abramsky, 1991, OOPSLA/ECOOP '90.
Samson Abramsky, Bob Coecke, S. Abramsky, 2011 .
Heribert Vollmer, Samson Abramsky, Juha Kontinen, 2016 .
Samson Abramsky, Jouko A. Väänänen, S. Abramsky, 2011, ArXiv.
Johann A. Makowsky, Samson Abramsky, Erich Grädel, 2006, CSL.
Samson Abramsky, Bob Coecke, 2005, Spatial Representation.
Samson Abramsky, 2002 .
Samson Abramsky, 2000, Proof, Language, and Interaction.
Samson Abramsky, Giovanni Carù, S. Abramsky, 2019, Philosophical Transactions of the Royal Society A.
Steven J. Vickers, Samson Abramsky, S. Abramsky, 1993, Mathematical Structures in Computer Science.
Samson Abramsky, Paul-André Melliès, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Pengming Wang, Samson Abramsky, Anuj Dawar, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Samson Abramsky, S. Abramsky, 1993, Theor. Comput. Sci..
Ian Mackie, Samson Abramsky, Leopoldo Román, 1993, Theory and Formal Methods.
Samson Abramsky, Marina Lenisa, S. Abramsky, 2000, CSL.
Samson Abramsky, Guy McCusker, 1999, Theor. Comput. Sci..
Samson Abramsky, 2011, Synthese.
Radha Jagadeesan, Samson Abramsky, 1993 .
Gul Agha, Peter Wegner, Akinori Yonezawa, 1990 .
Michael W. Mislove, Samson Abramsky, Jean Krivine, 2012 .
Samson Abramsky, Norihiro Yamada, S. Abramsky, 2016, Mathematical Structures in Computer Science.
Samson Abramsky, Marina Lenisa, S. Abramsky, 2005, Ann. Pure Appl. Log..
Samson Abramsky, S. Abramsky, 1985, Programs as Data Objects.
Radha Jagadeesan, Samson Abramsky, S. Abramsky, 1992, Journal of Symbolic Logic.
Samson Abramsky, S. Abramsky, 2003, Mathematical Structures in Computer Science.
Samson Abramsky, Alexander Kurz, Pierre Lescanne, 2015, Dagstuhl Reports.
Samson Abramsky, Dusko Pavlovic, 1997, Category Theory and Computer Science.
Kohei Kishida, Samson Abramsky, Rui Soares Barbosa, 2017, TQC.
Radha Jagadeesan, Samson Abramsky, 1994, J. Symb. Log..
Samson Abramsky, S. Abramsky, 1983, ICALP.
Samson Abramsky, Ross Duncan, 2006, Math. Struct. Comput. Sci..
Samson Abramsky, Dan Marsden, S. Abramsky, 2021, ArXiv.
Samson Abramsky, Mehrnoosh Sadrzadeh, Víctor H. Cervantes, 2021, SEMSPACE.
Samson Abramsky, Dan Marsden, S. Abramsky, 2020, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Samson Abramsky, Jouko Vaananen, Joni Puljujarvi, 2021 .
Samson Abramsky, Luca Reggio, S. Abramsky, 2021, ICALP.
Samson Abramsky, Luca Reggio, 2021, ArXiv.
Samson Abramsky, Marina Lenisa, S. Abramsky, 1999 .
Samson Abramsky, S Barry Cooper, 2012, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Erol Gelenbe, Vladimiro Sassone, Samson Abramsky, 2008 .
Samson Abramsky, S. Abramsky, 2006 .
Samson Abramsky, S. Abramsky, 1994 .
Dov M. Gabbay, Samson Abramsky, Tom Maibaum, 1992 .
Samson Abramsky, Chris Heunen, S. Abramsky, 2012, 1206.0921.
Samson Abramsky, Adam Brandenburger, Andrei Savochkin, 2014 .
Dov M. Gabbay, Samson Abramsky, Tom Maibaum, 1992 .
Samson Abramsky, Bob Coecke, S. Abramsky, 2004, LICS 2004.