Derivation of logic programs by functional methods.

DSpace/Manakin Repository

Bijlsma, A.

(1991) Information Processing Letters, volume 39, issue 6, pp. 325 - 332

(Article)

Download/Full Text

Keywords: logic programming, functional programming, program derivation

ISSN: 0020-0190

Publisher: Elsevier

See more statistics about this item