Derivation of logic programs by functional methods

A. Bijlsma

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Originele taal-2	Engels
Pagina's (van-tot)	325-332
Tijdschrift	Information Processing Letters
Volume	39
Nummer van het tijdschrift	6
DOI's	https://doi.org/10.1016/0020-0190(91)90006-4
Status	Gepubliceerd - 1991

Toegang tot document

@article{3e4ec0770bc0414b9c99600495b80b8b,

title = "Derivation of logic programs by functional methods",

author = "A. Bijlsma",

year = "1991",

doi = "10.1016/0020-0190(91)90006-4",

language = "English",

volume = "39",

pages = "325--332",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "6",

}