Quasi-boolean equivalence

DOI10.1016/0020-0190(93)90211-QzbMATH Open0776.68078MaRDI QIDQ2366071FDOQ2366071

Authors: A. Bijlsma 

Publication date: 29 June 1993

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

Recommendations

• A logic covering undefinedness in program proofs
• A note on undefined expression values in programming logics
• scientific article; zbMATH DE number 2102744
• Adas and the equational theory of if-then-else
• scientific article; zbMATH DE number 4090769

zbMATH Keywords

undefinednessequational proofs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming as a Discipline of Mathematical Nature
• A logic covering undefinedness in program proofs
• Title not available (Why is that?)
• Predicative methodology
• Quasi-boolean equivalence

Cited In (5)

• A note on undefined expression values in programming logics
• Title not available (Why is that?)
• Properties of quasi-Boolean function on quasi-Boolean algebra
• Quasi-boolean equivalence
• Title not available (Why is that?)

This page was built for publication: Quasi-boolean equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2366071)