Concepedia

Spectral techniques in digital logic

S.L. Hurst, D. Michael Miller, J.C. Muzio

Signal Processing · 1985 · 367 citations · 0 references

Concepts

Spectral TheoryEngineeringAutomated ReasoningMany-valued LogicSpectral AnalysisFormal MethodsComputational Model TheorySpectral TechniquesComputer Science