Derivation of logic programs by functional methods.
Publication date
1991
Authors
Bijlsma, A.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
Abstract
Keywords
logic programming, functional programming, program derivation