Richard A. O'Keefe
Publication Activity (10 Years)
Years Active: 1982-2017
Publications (10 Years): 2
Publications (10 Years): 2
Publications
- Chris Heinrich, Tobias Langlotz, Richard A. O'Keefe
- Richard A. O'Keefe
- Matt Crane, Andrew Trotman, Richard A. O'Keefe
- Matt Crane, Andrew Trotman, Richard A. O'Keefe
- Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price
- Rachel Mary Milne, Richard A. O'Keefe, Andrew Trotman
- Natascha Chrobok, Andrew Trotman, Richard A. O'Keefe
- Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon PriceCoding Guidelines for Prolog CoRR (2009)
- Yun Sing Koh, Nathan Rountree, Richard A. O'Keefe
- Xiangfei Jia, Andrew Trotman, Richard A. O'Keefe, Zhiyi Huang
- Yun Sing Koh, Nathan Rountree, Richard A. O'Keefe
- Weihua Huang, Andrew Trotman, Richard A. O'Keefe
- Yun Sing Koh, Nathan Rountree, Richard A. O'Keefe
- Richard A. O'Keefe
- Richard A. O'Keefe
- Andrew Trotman, Richard A. O'Keefe
- Andrew Trotman, Richard A. O'Keefe
- Richard A. O'Keefe
- Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver
- Richard J. Fateman, Alan Bundy, Richard A. O'Keefe, Leon Sterling
- Richard A. O'KeefeFinite Fixed-Point Problems. ICLP (1987)
- Timothy G. Lindholm, Richard A. O'Keefe
- Nam Sung Woo, Richard A. O'Keefe
- Richard A. O'Keefe
- Richard A. O'Keefe
- Richard A. O'Keefe
- Richard A. O'Keefe
- Alan Mycroft, Richard A. O'Keefe
- Richard A. O'Keefe
- Richard A. O'Keefe
- Richard A. O'Keefe
- Alan Mycroft, Richard A. O'Keefe
- Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver