John Power

发表

Michael Johnson, John Power, David A. Naumann, 2006, MFCSIT.
Gordon D. Plotkin, John Power, Martin Hyland, 2007, Theor. Comput. Sci..
John Power, Martin Hyland, M. Hyland, 2006, Theor. Comput. Sci..
Gordon D. Plotkin, John Power, 2004, Electron. Notes Theor. Comput. Sci..
John Power, Yoshiki Kinoshita, J. Power, 2000, Acta Informatica.
Peter W. O'Hearn, John Power, Makoto Takeyama, 1995, MFPS.
Giuseppe Rosolini, John Power, 1998, ICALP.
John Power, 2011, Appl. Categorical Struct..
Christoph Lüth, Neil Ghani, John Power, 2001, CMCS.
Martin Schmidt, Ekaterina Komendantskaya, John Power, 2013, J. Log. Comput..
Peter W. O'Hearn, John Power, Makoto Takeyama, 1995, MFPS.
James Worrell, John Power, Hiroshi Watanabe, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
John Power, Miki Tanaka, J. Power, 2006, High. Order Symb. Comput..
Gordon D. Plotkin, John Power, 2003, IWFM.
Peter W. O'Hearn, John Power, Makoto Takeyama, 1997, TACS.
John Power, Miki Tanaka, 2005, TLCA.
Gordon D. Plotkin, John Power, G. Plotkin, 2003, Appl. Categorical Struct..
Stuart Anderson, John Power, Konstantinos Tourlas, 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).
Claudio Hermida, John Power, Michael Makkai, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
John Power, Lloyd Godman, Stuart Jones, 2015 .
John Power, Charles Wells, 1992, Math. Struct. Comput. Sci..
Gordon D. Plotkin, John Power, Marcelo P. Fiore, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
John Power, Miki Tanaka, J. Power, 2006, MFCSIT.
John Power, Konstantinos Tourlas, J. Power, 2001, MFPS.
John Power, Soichiro Fujii, Thomas Cottrell, 2018, MFPS.
Guy McCusker, Ekaterina Komendantskaya, John Power, 2010, AMAST.
John Power, S. O. Anderson, 1997, Theor. Comput. Sci..
John Power, Olha Shkaravska, O. Shkaravska, 2004, CMCS.
Ewen Denney, John Power, Konstantinos Tourlas, 2005 .
Glynn Winskel, John Power, Gian Luca Cattani, 1998, CONCUR.
Gordon D. Plotkin, Donald Sannella, John Power, 2000, ICALP.
Gordon D. Plotkin, John Power, Martin Hyland, 2006, Theor. Comput. Sci..
John Power, Hiroshi Watanabe, J. Power, 2002, Theor. Comput. Sci..
John Power, Martin Hyland, M. Hyland, 2007, Computation, Meaning, and Logic.
John Power, Martin Hyland, 2001, MFPS.
John Power, 2000, Electron. Notes Theor. Comput. Sci..
Edmund Robinson, John Power, 2000, CSL.
John Power, J. Power, 2005, CALCO.
Richard Garner, John Power, J. Power, 2017, Log. Methods Comput. Sci..
Ekaterina Komendantskaya, John Power, J. Power, 2008, JELIA.
Ekaterina Komendantskaya, John Power, 2011, CSL.
Ewen Denney, John Power, Konstantinos Tourlas, 2006, MFPS.
Mark E. Dunham, John Power, Paul S. Graham, 2009, 2009 International Conference on Reconfigurable Computing and FPGAs.
Guy McCusker, John Power, 2008 .
Gordon D. Plotkin, John Power, G. Plotkin, 2008, MFPS.
Stuart Anderson, John Power, Konstantinos Tourlas, 2002, CATS.
Giuseppe Rosolini, John Power, Martin Hyland, 2006, MFCSIT.
Ekaterina Komendantskaya, John Power, 2011, CALCO.
John Power, J. Power, 2002, Theor. Comput. Sci..
John Power, Hiroshi Watanabe, 1998, CMCS.
John Power, Yoshiki Kinoshita, J. Power, 1996, ELP.
John Power, Miki Tanaka, 2008, Fundam. Informaticae.
Hayo Thielecke, John Power, Hayo Thielecke, 1999, ICALP.
John Power, J. Power, 2006, Theor. Comput. Sci..
John Power, Yoshiki Kinoshita, 2014, Theor. Comput. Sci..
John Power, 1989, Category Theory and Computer Science.
John Power, Martin Hyland, 2000, PPDP '00.
Ekaterina Komendantskaya, John Power, J. Power, 2016, J. Log. Algebraic Methods Program..
Peter W. O'Hearn, John Power, Makoto Takeyama, 1999, Theor. Comput. Sci..
John Power, Daniele Turi, D. Turi, 1999, CTCS.
Leon Sterling, John Power, 1990, ICLP.
John Power, Stephen Lack, 2009, J. Funct. Program..
John Power, J. Power, 2006, MFPS.
Guy McCusker, John Power, J. Power, 2010, MFPS.
John Power, Konstantinos Tourlas, J. Power, 2001, CSL.
Gordon D. Plotkin, John Power, G. Plotkin, 2001, FoSSaCS.
John Power, J. Power, 2006, MFCSIT.
John Power, Konstantinos Tourlas, J. Power, 2003, FoSSaCS.
John Power, Hiroshi Watanabe, 1999, CMCS.
John Power, Marina Lenisa, Hiroshi Watanabe, 2004, Theor. Comput. Sci..
John Power, Martin Hyland, M. Hyland, 2001, CMCS.
Gordon D. Plotkin, John Power, 2001, MFPS.
Robin Milner, John Power, Alex Mifsud, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
John Power, 1996, CONCUR.
John Power, Yoshiki Kinoshita, 1999, WADT.
Christoph Lüth, Neil Ghani, John Power, 2003, Math. Struct. Comput. Sci..
John Power, Makoto Takeyama, Yoshiki Kinoshita, 1997, MFPS.
Guy McCusker, John Power, Cai Wingfield, 2012, MFPS.
Gordon D. Plotkin, John Power, G. Plotkin, 2002, FoSSaCS.
Hayo Thielecke, John Power, Paul Blain Levy, 2003, Inf. Comput..
John Power, J. Power, 2003, MERLIN '03.
Giuseppe Rosolini, John Power, J. Power, 2002, Theor. Comput. Sci..
John Power, 1989, Mathematical Foundations of Programming Semantics.
Zhong Lu, John Power, Daniel Dzurisin, 2002, IEEE International Geoscience and Remote Sensing Symposium.
Claudio Hermida, John Power, 1995, CONCUR.
John Power, Martin Hyland, Eugenia Cheng, 2003, MFPS.
John Power, Yoshiki Kinoshita, 1999, CSL.
John Power, Alex K. Simpson, Marco Kick, 2006, Inf. Comput..
Edmund Robinson, John Power, 2000, PPDP '00.
Claudio Hermida, John Power, Michael Makkai, 2000 .
Guy McCusker, Ekaterina Komendantskaya, John Power, 2010 .
John Power, Martin Hyland, M. Hyland, 2002 .
Gordon D. Plotkin, John Power, Martin Hyland, 2002, IFIP TCS.
Edmund Robinson, John Power, 1991 .
John Power, Gordon Plotkin, Don Sannella, 1998 .
Ekaterina Komendantskaya, John Power, Martin Schmidt, 2012 .
John Power, Koki Nishizawa, J. Power, 2009 .
John Power, Yoshiki Kinoshita, 1996 .
John Power, Gordon Plotkin, Martin Hyland, 2001 .
John Power, Soichiro Fujii, Thomas Cottrell, 2017 .
John Power, Gordon Plotkin, Martin Hyland, 2004 .
Ekaterina Komendantskaya, John Power, 2011 .
Claudio Hermida, John Power, Michael Makkai, 2002 .