Kevin J. Greene

According to our database1, Kevin J. Greene authored at least 3 papers between 1988 and 1989.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1989
WINTER: WAMS in Tim Expression Reduction.
Proceedings of the Logic Programming, 1989

1988
Using higher order logic and functional languages to synthesize correct hardware.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Verifiable and executable theories of design for synthesizing correct hardware.
Proceedings of the Computer Design: VLSI in Computers and Processors, 1988


  Loading...