Transformation rules for automated design of circuits by theorem-proving techniques. Transformation from recursion equations to circuit descriptions
Masateru Harao, Kouji IwanumaVolume:
20
Year:
1989
Language:
english
Pages:
13
DOI:
10.1002/scj.4690200110
File:
PDF, 895 KB
english, 1989