✦ LIBER ✦

Minimization of AND-EXOR expressions using rewrite rules

✍ Scribed by Brand, D.; Sasao, T.

Book ID: 119772022
Publisher: IEEE
Year: 1993
Tongue: English
Weight: 896 KB
Volume: 42
Category: Article
ISSN: 0018-9340
DOI: 10.1109/12.223676

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Nondeterministic AND-EXOR minimisation b

Nondeterministic AND-EXOR minimisation by using rewrite rules and simulated annealing

✍ Parrilla, L.; Ortega, J.; Lloris, A. 📂 Article 📅 1999 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 795 KB

Multilayers and Perovskites Rewrite Rule

Multilayers and Perovskites Rewrite Rules of Resistance

✍ Hellemans, Alexander (author) 📂 Article 📅 1996 🏛 American Association for the Advancement of Scienc 🌐 English ⚖ 471 KB

Multilayers and Perovskites Rewrite Rule

Multilayers and Perovskites Rewrite Rules of Resistance

✍ Hellemans, Alexander (author) 📂 Article 📅 1996 🏛 American Association for the Advancement of Scienc 🌐 English ⚖ 471 KB

Rule-based synthesis using ADTs and term

Rule-based synthesis using ADTs and term rewriting

✍ Harald-Reto Fonio; Adam Pawlak 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 265 KB

Mechanical Verification of Adder Circuit

Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory

✍ Deepak Kapur; M. Subramaniam 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 327 KB

A Class of Rewriting Rules and Reverse T

A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation

✍ Kiyoshi Akama; Ekawit Nantajeewarawat; Hidekatsu Koike 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 297 KB

In the rule-based equivalent transformation (RBET) paradigm, where computation is based on meaning-preserving transformation of declarative descriptions, a set of rewriting rules is regarded as a program. The syntax for a large class of rewriting rules is determined. The incorporation of meta-variab