| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 3 |      | H. K. Dai, Kevin E. Flannery: Improved Length Lower Bounds for Reflecting Sequences. COCOON 1996: 56-67 |
| 1993 | ||
| 2 |  | Kevin E. Flannery: Lambda-Calculi with Decidable Cappa-Type Checking. ICCI 1993: 13-19 |
| 1990 | ||
| 1 | | Kevin E. Flannery, Johannes J. Martin: The Hoare and Smith Power Domain Constructors Commute under Composition. J. Comput. Syst. Sci. 40(2): 125-135 (1990) |
| 1 | H. K. Dai | [3] |
| 2 | Johannes J. Martin | [1] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page