Robert D. Tennent
发表
Robert D. Tennent,
1982,
Softw. Pract. Exp..
Dan R. Ghica,
Robert D. Tennent,
R. D. Tennent,
2000,
High. Order Symb. Comput..
Peter W. O'Hearn,
John Power,
Makoto Takeyama,
1995,
MFPS.
Peter W. O'Hearn,
John Power,
Makoto Takeyama,
1995,
MFPS.
Robert D. Tennent,
1983,
SIGP.
Claudio Hermida,
Robert D. Tennent,
R. D. Tennent,
2009,
MFPS.
Peter W. O'Hearn,
John Power,
Makoto Takeyama,
1997,
TACS.
Robert D. Tennent,
R. D. Tennent,
Carl A. Gunter,
1991,
Prentice Hall International Series in Computer Science.
Claudio Hermida,
Robert D. Tennent,
2012,
Theor. Comput. Sci..
Claudio Hermida,
Robert D. Tennent,
2007,
Theor. Comput. Sci..
Robert D. Tennent,
R. D. Tennent,
1977,
Acta Informatica.
Robert D. Tennent,
1985,
Softw. Pract. Exp..
Robert D. Tennent,
2002
.
Gordon D. Plotkin,
Donald Sannella,
John Power,
2000,
ICALP.
Robert D. Tennent,
R. D. Tennent,
1983,
Comput. Lang..
Robert D. Tennent,
R. D. Tennent,
1985,
Inf. Comput..
Peter W. O'Hearn,
Robert D. Tennent,
1995,
JACM.
Peter W. O'Hearn,
Robert D. Tennent,
1993,
Inf. Comput..
Robert D. Tennent,
1985,
Logic of Programs.
Robert D. Tennent,
1977
.
Robert D. Tennent,
1985,
CTCS.
Robert D. Tennent,
R. D. Tennent,
1982,
Theor. Comput. Sci..
Peter W. O'Hearn,
John Power,
Makoto Takeyama,
1999,
Theor. Comput. Sci..
Robert D. Tennent,
R. D. Tennent,
1977,
Acta Informatica.
Robert D. Tennent,
1978,
Softw. Pract. Exp..
Robert D. Tennent,
R. D. Tennent,
1973,
POPL.
Robert D. Tennent,
R. D. Tennent,
J. K. Tobin,
1991,
Theor. Comput. Sci..
Robert D. Tennent,
R. D. Tennent,
1987,
Inf. Process. Lett..
Robert D. Tennent,
1983,
Theor. Comput. Sci..
Robert D. Tennent,
1991,
Category Theory and Computer Science.
Peter W. O'Hearn,
Robert D. Tennent,
1993,
POPL '93.
Robert D. Tennent,
R. D. Tennent,
1976,
CACM.
Robert D. Tennent,
R. D. Tennent,
1989,
Sci. Comput. Program..