Bruce T. Smith

Publication Activity (10 Years)

Years Active: 1985-1991
Publications (10 Years): 0

Publications

David W. Reed, Donald W. Loveland, Bruce T. Smith
An Alternative Characterization of Disjunctive Logic Programs. ISLP (1991)
David W. Reed, Donald W. Loveland, Bruce T. Smith
The Near-Horn Approach to Disjunctive Logic Programming. ELP (1991)
Bruce T. Smith, Donald W. Loveland
A Simple Near-Horn Prolog Interpreter. ICLP/SLP (1988)
Lenwood S. Heath, Arnold L. Rosenberg, Bruce T. Smith
The physical mapping problem for parallel architectures. J. ACM 35 (3) (1988)
Bruce T. Smith, Donald W. Loveland
An nH-Prolog Implementation. CADE (1988)
R. Kent Dybvig, Bruce T. Smith
A semantic editor. ACM SIGPLAN Notices 20 (7) (1985)