✦ LIBER ✦

Extension of the system of equivalent transformations of expressions

✍ Scribed by V.V. Tumasonis

Publisher: Elsevier Science
Year: 1972
Weight: 298 KB
Volume: 12
Category: Article
ISSN: 0041-5553
DOI: 10.1016/0041-5553(72)90196-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A system of equivalent transformations o

A system of equivalent transformations of expressions

✍ V.V. Tumasonis 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 682 KB

Possibilities of logically equivalent ex

Possibilities of logically equivalent expressions

✍ Harvey J. Greenberg 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 97 KB

If A is logically equivalent to B, it is not necessary that #(A) = p(B). This technical note proves, however, that if A is in CNF, there exists some logically equivalent DNF, B, such that p(A) = #(B). © 1997 Elsevier Science B.V. Let #(P) denote the possibility of P being true, where 0 ~< p(P) ~< 1.

Extensions of the Legendre transformatio

Extensions of the Legendre transformation

✍ Jan Saczuk 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 641 KB

An extension of the Brown-Robinson equiv

An extension of the Brown-Robinson equivalence theorem

✍ Donald J. Brown; M. Ali Khan 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 531 KB

The natural extension of the β-transform

The natural extension of the β-transformation

✍ K. Dajani; C. Kraaikamp; B. Solomyak 📂 Article 📅 1996 🏛 Akadmiai Kiad 🌐 English ⚖ 497 KB

Twist–Rotation Transformations of Binary

Twist–Rotation Transformations of Binary Trees and Arithmetic Expressions

✍ Ming Li; Louxin Zhang 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 101 KB

The paper studies the computational complexity and efficient algorithms for the twist᎐rotation transformations of binary trees, which is equivalent to the transformation of arithmetic expressions over an associative and commutative binary Ž . operation. The main results are 1 a full binary tree with