The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Kozen, Dexter, 1951-

LC control no.n 82026953
Personal name headingKozen, Dexter, 1951-
    Browse this term in  LC Authorities  or the  LC Catalog
Found inLogics of Programs Workshop (1981 : Yorktown Heights, N.Y.) Logics of Programs Workshop, 1982 (a.e.) CIP t.p. (Dexter Kozen) data sht. (b. 12/20/51)
His The design and analysis of algorithms, 1991: CIP t.p. (Dexter C. Kozen)