ISMVL 2003 | Sciweavers

ISMVL
2003
IEEE

112views Hardware» more ISMVL 2003»

Iterative Symmetry Indices Decomposition for Ternary Logic Synthesis in Three-Dimensional Space

14 years 4 months ago

This paper introduces the implementation of the Iterative Symmetry Indices Decomposition (ISID) for the synthesis of ternary threedimensional logic circuits. The synthesis of regu...

Anas Al-Rabadi

claim paper

Read More »

click to vote

ISMVL
2003
IEEE

81views Hardware» more ISMVL 2003»

Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics

14 years 4 months ago

Download www.logic.at

Matthias Baaz, Norbert Preining, Richard Zach

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers