skip navigation

The Library of Congress > Linked Data Service > LC Name Authority File (LCNAF)

Kozen, Dexter, 1951-

URI(s)

http://id.loc.gov/authorities/names/n82026953

Identifies LC/NAF RWO

http://id.loc.gov/rwo/agents/n82026953

Identifies RWO

Exact Matching Concepts from Other Schemes

http://viaf.org/viaf/sourceID/LC%7Cn++82026953#skos:Concept

Closely Matching Concepts from Other Schemes

Dexter Kozen Label from public data source Wikidata

Sources

found: Logics 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)

found: His The design and analysis of algorithms, 1991:CIP t.p. (Dexter C. Kozen)

Instance Of

Scheme Membership(s)

Library of Congress Name Authority File

Collection Membership(s)

Change Notes

1982-03-02: new
1991-09-16: revised

Alternate Formats