dblp.uni-trier.dewww.uni-trier.de

Kevin J. Greene Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1989
2 Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn: WINTER: WAMS in Tim Expression Reduction. NACLP 1989: 1013-1029
1988
1EEShiu-Kai Chin, Edward P. Stabler, Kevin J. Greene: Using higher order logic and functional languages to synthesize correct hardware. ICCL 1988: 396-403

Coauthor Index

1Shiu-Kai Chin [1] [2]
2Paul R. Humenn [2]
3Damir Jamsek [2]
4Edward P. Stabler (Edward P. Stabler Jr.) [1]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)