Kevin E. Flannery

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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)

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)

Coauthor Index

1 H. K. Dai [3]

2 Johannes J. Martin [1]

Colors in the list of coauthors