𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL) - Bremen, Germany (2014.5.19-2014.5.21)] 2014 IEEE 44th International Symposium on Multiple-Valued Logic - First-Order Logic Based on Set Approximation: A Partial Three-Valued Approach

✍ Scribed by Mihalydeak, Tamas

Book ID: 125506895
Publisher: IEEE
Year: 2014
Weight: 208 KB
Category: Article
ISBN: 1479935352
DOI: 10.1109/ISMVL.2014.31

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2014 IEEE 44th International Sympo

[IEEE 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL) - Bremen, Germany (2014.5.19-2014.5.21)] 2014 IEEE 44th International Symposium on Multiple-Valued Logic - Maximal and Minimal Closed Classes in Multiple-Valued Logic

✍ Waldhauser, Tamas 📂 Article 📅 2014 🏛 IEEE ⚖ 198 KB

[IEEE 2014 IEEE 44th International Sympo

[IEEE 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL) - Bremen, Germany (2014.5.19-2014.5.21)] 2014 IEEE 44th International Symposium on Multiple-Valued Logic - Analysis of Faults in Reversible Computing

✍ Lukac, Martin; Kameyama, Michitaka; Perkowski, Marek; Kerntopf, Pawel; Moraga, C 📂 Article 📅 2014 🏛 IEEE ⚖ 295 KB

[IEEE 2014 IEEE 44th International Sympo

[IEEE 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL) - Bremen, Germany (2014.5.19-2014.5.21)] 2014 IEEE 44th International Symposium on Multiple-Valued Logic - Efficient Reversible Logic Synthesis via Isomorphic Subgraph Matching

✍ Krishna, Mridul; Chattopadhyay, Anupam 📂 Article 📅 2014 🏛 IEEE ⚖ 407 KB

[IEEE 2014 IEEE 44th International Sympo

[IEEE 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL) - Bremen, Germany (2014.5.19-2014.5.21)] 2014 IEEE 44th International Symposium on Multiple-Valued Logic - A Cube Pairing Approach for Synthesis of ESOP-Based Reversible Circuit

✍ Bandyopadhyay, Chandan; Rahaman, Hafizur; Drechsler, Rolf 📂 Article 📅 2014 🏛 IEEE ⚖ 217 KB

[IEEE 2014 IEEE 44th International Sympo

[IEEE 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL) - Bremen, Germany (2014.5.19-2014.5.21)] 2014 IEEE 44th International Symposium on Multiple-Valued Logic - On Some Basic Aspects of Ternary Reversible and Quantum Computing

✍ Moraga, Claudio 📂 Article 📅 2014 🏛 IEEE ⚖ 229 KB

[IEEE 2014 IEEE 44th International Sympo

[IEEE 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL) - Bremen, Germany (2014.5.19-2014.5.21)] 2014 IEEE 44th International Symposium on Multiple-Valued Logic - Analysis Methods of Multi-state Systems Partially Having Dependent Components Using Multiple-Valued Decision Diagrams

✍ Nagayama, Shinobu; Sasao, Tsutomu; Butler, Jon T.; Thornton, Mitchell A.; Manika 📂 Article 📅 2014 🏛 IEEE ⚖ 193 KB