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
International conference on the mathematics of program construction 07 2004
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: 
1995 IEEE 10th annual Symposium on Logic in Computer Science
Annual IEEE Symposium on Logic in Computer Science, 10
Automata and computability
Complexity of finitely presented algebras
design and analysis of algorithms, 1991:, The
Dynamic logic
LICS 1995 : completed version of some papers
Logics of Programs Workshop (1981 : Yorktown Heights, N.Y.) Logics of Programs Workshop, 1982 (a.e.)
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Logics of programs : workshop, Yorktown Heghts, New York, May 1981
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
Proceedings - Tenth annual IEEE Symposium on Logic in Computer Science : June 26-29, 1995, San Diego, California
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 BNF LC LNB NKC NTA NUKAT SUDOC WKP