Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000109607173 | 1 hits
Person
ISNI: 
0000 0001 0960 7173
Name: 
Kozen, D. C.
Kozen, Dexter
Kozen, Dexter C.
Kozen, Dexter Campbell,
Dates: 
1951-
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Clarke, Edmund
Clarke, Edmund M. (1945-....))
Cornell University, May
Harel, David (1950-....))
IEEE. Computer society
Logics of Programs Workshop (1981 : Yorktown Heights, N.Y.)
Logics of Programs Workshop (May 1981 : Yorktown Heights, N.Y.)
MPC 2004 (2004: (Stirling, Stirling, Scotland)
Springer-Verlag (Berlin)
Tiuryn, Jerzy
Titles: 
Automata and computability
Complexity of finitely presented algebras
design and analysis of algorithms, The
Dynamic logic
Logics of programs Workshop, Carnegie-Mellon University, Pittsburgh, PA, June 6-8, 1983
Logics of Programs Workshop, Yorktown Heights, New York, May 1981
Mathematics of program construction 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 ; proceedings
MPC 2004
Theory of computation
Notes: 
Thesis (Ph. D.)--Cornell University, May, 1977
Sources: 
VIAF LC LNB NKC NTA NUKAT SUDOC WKP