✦ LIBER ✦

A single identity for Boolean groups and Boolean rings

✍ Scribed by N.S Mendelsohn; R Padmanabhan

Book ID: 107774103
Publisher: Elsevier Science
Year: 1972
Tongue: English
Weight: 234 KB
Volume: 20
Category: Article
ISSN: 0021-8693
DOI: 10.1016/0021-8693(72)90086-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Minimal identities for Boolean groups

✍ N.S Mendelsohn; R Padmanabhan 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 297 KB

Single identities for ternary Boolean al

Single identities for ternary Boolean algebras

✍ R. Padmanabhan; W. McCune 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 260 KB

Boolean valued rings and Boolean metric

Boolean valued rings and Boolean metric spaces

✍ Robert A. Melter 📂 Article 📅 1964 🏛 Springer 🌐 English ⚖ 523 KB

On a common abstraction of Boolean rings

On a common abstraction of Boolean rings and lattice ordered groups I

✍ V. V. Rama Rao 📂 Article 📅 1969 🏛 Springer Vienna 🌐 English ⚖ 443 KB

A New Method for the Boolean Ring Based

A New Method for the Boolean Ring Based Theorem Proving

✍ Hantao Zhang 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 726 KB

A new method for first-order theorem proving based on the Boolean ring approach is proposed. The method is an extension of Hsiang's N-Strategy in two aspects: (1) When the input polynomials are derived from clauses, our method is reduced to a more restricted (but still complete) version of \(\mathrm

Complexity of single dynamic tests for m

Complexity of single dynamic tests for monotone Boolean functions

✍ V. A. Vardanyan 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 352 KB