VIAF

Virtual International Authority File

Search

Kozen, Dexter C., 1951-.... National Library of the Czech Republic Sudoc [ABES], France National Library of Latvia NUKAT Center of Warsaw University Library

Kozen, Dexter, 1951- Library of Congress/NACO German National Library National Library of Australia

Kozen, Dexter (Dexter C.), 1951- National Library of the Netherlands

Dexter Kozen ISNI

Dexter Kozen Amerikaans informaticus Wikidata

VIAF ID: 25829033 (Personal)

Permalink: http://viaf.org/viaf/25829033

ISNI: 0000  0001  0960  7173 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (13)

Open Section Close SectionWorks

Title Sources
Automata and computability National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library National Library of Latvia
The design and analysis of algorithms National Library of the Netherlands German National Library Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library
Dynamic logic National Library of the Netherlands German National Library Sudoc [ABES], France NUKAT Center of Warsaw University Library
LICS 1995 : completed version of some papers Sudoc [ABES], France
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Logics of programs : workshop, Yorktown Heights, New York, May 1981 National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of Latvia
Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings National Library of the Netherlands German National Library Sudoc [ABES], France Library of Congress/NACO
MPC 2004 National Library of the Netherlands
Tenth annual IEEE Symposium on Logic in Computer Science : June 26-29, 1995, San Diego, California : proceedings Sudoc [ABES], France NUKAT Center of Warsaw University Library
Theory of computation Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section History of VIAF ID:25829033 (17)