Spectral Response of Ternary Logic Netlists.

Mitchell A. Thornton Theodore W. Manikas

Published in: ISMVL (2013)

Keyphrases

logic programming
modal logic
automated reasoning
spectral analysis
predicate logic
asynchronous circuits
hyperspectral imagery
deontic logic
database
image processing
nonmonotonic logics
logical framework
spectral data
sound and complete axiomatization