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-)
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
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: 
Sources: 
VIAF BNF LC LNB NKC NTA NUKAT SUDOC WKP