Inproceedings,

An Algebraic Representation of Logic-Program Computations.

, and .
Computational Logic - Essays in Honor of Alan Robinson, page 584-612. The MIT Press, (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews