Partiality and nondeterminacy in program proofs

DOI10.1007/PL00003927zbMath0910.68031OpenAlexW1994457525MaRDI QIDQ1271855

Alexander Bunkenburg, Joseph M. Morris

Publication date: 12 April 1999

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00003927

zbMATH Keywords

equational reasoningmany-valued logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99)

Related Items (1)

Truth versus information in logic programming

This page was built for publication: Partiality and nondeterminacy in program proofs