Derivation of logic programs by functional methods
From MaRDI portal
Publication:1183419
DOI10.1016/0020-0190(91)90006-4zbMath0751.68013OpenAlexW2100872352MaRDI QIDQ1183419
Publication date: 28 June 1992
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/19386
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Cites Work
This page was built for publication: Derivation of logic programs by functional methods