Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formalization of VHDL Synthesis Procedure in Higher-Order Logic., and . TPHOLs, page 106-120. IEEE Computer Society, (1991)Placement algorithm by partitioning for optimum rectangular placement., , and . DAC, page 24-25. ACM, (1979)Towards a rationalist theory of language acquisition.. ICGI, volume 34 of JMLR Workshop and Conference Proceedings, page 21-32. JMLR.org, (2014)Square-loop magnetic logic circuits.. IRE-AIEE-ACM Computer Conference (Western), page 47-54. ACM, (1959)Boolean Comparison by Simulation., and . DAC, page 584-587. IEEE Computer Society Press / ACM, (1987)Structural similarity within and among languages., and . Theor. Comput. Sci., 293 (2): 345-363 (2003)Threshold gate network synthesis. SWCT, page 5-11. IEEE Computer Society, (1965)Circuit realization of binary functions using threshold devices.. ACM National Meeting, page 134-137. ACM, (1956)Language variation and linguistic invariants, and . Lingua, (June 2010)System Description Languages.. IEEE Trans. Computers, 19 (12): 1160-1173 (1970)