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)Structural similarity within and among languages., and . Theor. Comput. Sci., 293 (2): 345-363 (2003)Boolean Comparison by Simulation., and . DAC, page 584-587. IEEE Computer Society Press / ACM, (1987)Threshold gate network synthesis. SWCT, page 5-11. IEEE Computer Society, (1965)Language variation and linguistic invariants, and . Lingua, (June 2010)System Description Languages.. IEEE Trans. Computers, 19 (12): 1160-1173 (1970)A formal method for computer design verification., and . DAC, page 809-814. ACM/IEEE, (1982)