Bruce T. Smith

According to our database, Bruce T. Smith authored at least 6 papers between 1985 and 1991.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1991

An Alternative Characterization of Disjunctive Logic Programs.

David W. Reed, Donald W. Loveland, Bruce T. Smith

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

The Near-Horn Approach to Disjunctive Logic Programming.

David W. Reed, Donald W. Loveland, Bruce T. Smith

Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

1988

The physical mapping problem for parallel architectures.

Lenwood S. Heath, Arnold L. Rosenberg, Bruce T. Smith

J. ACM, 1988

A Simple Near-Horn Prolog Interpreter.

Bruce T. Smith, Donald W. Loveland

Proceedings of the Logic Programming, 1988

An nH-Prolog Implementation.

Bruce T. Smith, Donald W. Loveland

Proceedings of the 9th International Conference on Automated Deduction, 1988

1985

A semantic editor.

R. Kent Dybvig, Bruce T. Smith

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985