no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- No matching items.
- R. M. Burstall. Computer Journal (1969)R. M. Burstall. Computer Journal (1969)4 months and 23 days agoby kaptoxic1
- F. E. Burstall, and S. D. Santos. J. London Math. Society 85(2):571-591 (2012)F. E. Burstall, and S. D. Santos. J. London Math. Society 85(2):571-591 (2012)a year agoby dblp1
- Rod M. Burstall, and Joseph A. Goguen. IJCAI, page 1045-1058. William Kaufmann, (1977)Rod M. Burstall, and Joseph A. Goguen. IJCAI, page 1045-1058. William Kaufmann, (1977)a year agoby dblp1
- John Darlington, and Rod M. Burstall. IJCAI, page 479-485. William Kaufmann, (1973)John Darlington, and Rod M. Burstall. IJCAI, page 479-485. William Kaufmann, (1973)a year agoby dblp1
- A. P. Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, and Robin J. Popplestone. IJCAI, page 298-307. William Kaufmann, (1973)A. P. Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, and Robin J. Popplestone. IJCAI, page 298-307. William Kaufmann, (1973)a year agoby dblp1
- Rod M. Burstall, and John Darlington. J. ACM 24(1):44-67 (1977)Rod M. Burstall, and John Darlington. J. ACM 24(1):44-67 (1977)a year and 3 months agoby dblp2
- Rod M. Burstall. LICS, page 2-7. IEEE Computer Society, (1994)Rod M. Burstall. LICS, page 2-7. IEEE Computer Society, (1994)a year and 4 months agoby dblp1
- Masahiko Sato, Takafumi Sakurai, and Rod M. Burstall. Fundam. Inform. 45(1-2):79-115 (2001)Masahiko Sato, Takafumi Sakurai, and Rod M. Burstall. Fundam. Inform. 45(1-2):79-115 (2001)a year and 8 months agoby dblp1
- Andrzej Tarlecki, Rod M. Burstall, and Joseph A. Goguen. Theor. Comput. Sci. 91(2):239-264 (1991)Andrzej Tarlecki, Rod M. Burstall, and Joseph A. Goguen. Theor. Comput. Sci. 91(2):239-264 (1991)a year and 8 months agoby dblp1
- Joseph A. Goguen, and Rod M. Burstall. Theor. Comput. Sci. (1984)Joseph A. Goguen, and Rod M. Burstall. Theor. Comput. Sci. (1984)a year and 8 months agoby dblp1
- Joseph A. Goguen, and Rod M. Burstall. Theor. Comput. Sci. (1984)Joseph A. Goguen, and Rod M. Burstall. Theor. Comput. Sci. (1984)a year and 8 months agoby dblp1
- Rod M. Burstall, David B. MacQueen, and Donald Sannella. LISP Conference, page 136--143. (1980)Rod M. Burstall, David B. MacQueen, and Donald Sannella. LISP Conference, page 136--143. (1980)a year and 9 months agoby voj2
- Harry G. Barrow, and Rod M. Burstall. Inf. Process. Lett. 4(4):83-84 (1976)Harry G. Barrow, and Rod M. Burstall. Inf. Process. Lett. 4(4):83-84 (1976)a year and 10 months agoby dblp1
- Butler W. Lampson, and Rod M. Burstall. Inf. Comput. 76(2/3):278-346 (February 1988)Butler W. Lampson, and Rod M. Burstall. Inf. Comput. 76(2/3):278-346 (February 1988)a year and 10 months agoby dblp1
- Rod M. Burstall. J. Comput. Syst. Sci. 34(2/3):409-421 (1987)Rod M. Burstall. J. Comput. Syst. Sci. 34(2/3):409-421 (1987)a year and 10 months agoby dblp1
- A. P. Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, and Robin J. Popplestone. Artif. Intell. 6(2):129-156 (1975)A. P. Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, and Robin J. Popplestone. Artif. Intell. 6(2):129-156 (1975)a year and 10 months agoby dblp1
- Rod M. Burstall. COMPASS/ADT, volume 1130 of Lecture Notes in Computer Science, page 14-16. Springer, (1995)Rod M. Burstall. COMPASS/ADT, volume 1130 of Lecture Notes in Computer Science, page 14-16. Springer, (1995)a year and 11 months agoby dblp1
- Rod M. Burstall. Electr. Notes Theor. Comput. Sci. (2000)Rod M. Burstall. Electr. Notes Theor. Comput. Sci. (2000)a year and 11 months agoby dblp1
- Masahiko Sato, Takafumi Sakurai, and Rod M. Burstall. TLCA, volume 1581 of Lecture Notes in Computer Science, page 340-354. Springer, (1999)Masahiko Sato, Takafumi Sakurai, and Rod M. Burstall. TLCA, volume 1581 of Lecture Notes in Computer Science, page 340-354. Springer, (1999)a year and 11 months agoby dblp1
- David E. Rydeheard, and Rod M. Burstall. CTCS, volume 240 of Lecture Notes in Computer Science, page 493-505. Springer, (1985)David E. Rydeheard, and Rod M. Burstall. CTCS, volume 240 of Lecture Notes in Computer Science, page 493-505. Springer, (1985)a year and 11 months agoby dblp1