scientific article

From MaRDI portal

Publication:3338208

Jump to:navigation, search

zbMath0547.03003MaRDI QIDQ3338208

C. A. R. Hoare

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness normal forms conditional majority algebraic properties dyadic operator infix form negmajority triadic operator

Mathematics Subject Classification ID

Classical propositional logic (03B05)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3338208&oldid=16583209"