Article,

Recursion Equation Sets Computing Logic Programs.

.
Theor. Comput. Sci., 76 (2-3): 309-322 (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews