ISMVL 2003 | Sciweavers

ISMVL
2003
IEEE

112views Hardware» more ISMVL 2003»

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

13 years 10 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

13 years 10 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