Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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
LICS 1995 : completed version of some papers
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
Tenth annual IEEE Symposium on Logic in Computer Science : June 26-29, 1995, San Diego, California : proceedings
Theory of computation
Notes: 
Thesis (Ph. D.)--Cornell University, May, 1977
Sources: 
VIAF LC LNB NKC NTA NUKAT SUDOC WKP