Kevin E. Flannery

Publication Activity (10 Years)

Years Active: 1990-1996
Publications (10 Years): 0

Publications

H. K. Dai, Kevin E. Flannery
Improved Length Lower Bounds for Reflecting Sequences. COCOON (1996)
Kevin E. Flannery
Lambda-Calculi with Decidable Cappa-Type Checking. ICCI (1993)
Kevin E. Flannery, Johannes J. Martin
The Hoare and Smith Power Domain Constructors Commute under Composition. J. Comput. Syst. Sci. 40 (2) (1990)