𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Comments on the use of propositional logic to examine sustainability concepts

✍ Scribed by Christopher W. Pawlowski

Book ID
117466410
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
162 KB
Volume
127
Category
Article
ISSN
0304-3800

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Processor verification using efficient r
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
✍ Bryant, Randal E.; German, Steven; Velev, Miroslav N. πŸ“‚ Article πŸ“… 2001 πŸ› Association for Computing Machinery 🌐 English βš– 312 KB

The logic of Equality with Uninterpreted Functions (EUF) provides a means of abstracting the manipulation of data by a processor when verifying the correctness of its control logic. By reducing formulas in this logic to propositional formulas, we can apply Boolean methods such as ordered Binary Deci