Proof method of partial correctness and weak completeness for normal logic programs
From MaRDI portal
Publication:4275260
DOI10.1016/0743-1066(93)90033-DzbMath0798.68100MaRDI QIDQ4275260
Gérard Ferrand, Pierre Deransart
Publication date: 13 November 1994
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items