Robert Dwyer

Publication Activity (10 Years)

Years Active: 1983-1985
Publications (10 Years): 0

Publications

Robert Dwyer, Stephen Morris, Edward Bard, Daniel Green
The integration of an advanced gate array router into a fully automated design system. DAC (1985)
Robert Dwyer, Errol P. Martin, Robert K. Meyer
The fundamental S-theorem - a corollary. Notre Dame J. Formal Log. 24 (4) (1983)