Derivation of logic programs by functional methods
From MaRDI portal
Publication:1183419
DOI10.1016/0020-0190(91)90006-4zbMath0751.68013MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
68N17: Logic programming
Cites Work