Quasi-boolean equivalence

DOI10.1016/0020-0190(93)90211-QzbMath0776.68078MaRDI QIDQ2366071

A. Bijlsma

Publication date: 29 June 1993

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

undefinednessequational proofs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Quasi-boolean equivalence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic covering undefinedness in program proofs
• Predicative methodology
• Quasi-boolean equivalence
• Programming as a Discipline of Mathematical Nature

This page was built for publication: Quasi-boolean equivalence