sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000109607173 | 1 hits
Person
ISNI: 
0000 0001 0960 7173
Name: 
Dexter Kozen (American computer scientist)
Dexter Kozen (Amerikaans informaticus)
Dexter Kozen (informaticien américain)
Dexter Kozen (US-amerikanischer Informatiker)
Kozen, D.
Kozen, D. C.
Kozen, Dexter
Kozen, Dexter C.
Kozen, Dexter Campbell,
Dates: 
1951-
Creation class: 
article
Computer file
Language material
Text
txt
Creation role: 
author
editor
redactor
Related names: 
Clarke, Edmund M. (1945-)
Cornell University, May
Harel, David (1950-)
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
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
Zhang, David
Titles: 
Automata and computability
ChurchRosser Made Easy
Complexity of finitely presented algebras
design and analysis of algorithms, The
Dynamic logic
Efficient algorithms for optimal video transmission
fast parallel algorithm for determining all roots of a polynomial with real roots., A
finite model theorem for the propositional mu -calculus., A
Intuitionistic linear logic and partial correctness
LICS 1995 : completed version of some papers
Limits for Automatic Verification of Finite-State Concurrent Systems
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
note on the complexity of propositional Hoare logic, A
On hoare logic and Kleene algebra with tests
On the completeness of propositional Hoare logic
Parikh's theorem in commutative Kleene algebra
Some results in dynamic model theory
Substructural logic and partial correctness
Supporting workflow in a course management system
Tenth annual IEEE Symposium on Logic in Computer Science : June 26-29, 1995, San Diego, California : proceedings
Theory of computation
Contributed to or performed: 
LECTURE NOTES IN COMPUTER SCIENCE
Notes: 
Thesis (Ph. D.)--Cornell University, May, 1977
Sources: 
VIAF DNB LC LNB NKC NUKAT SUDOC WKD
BOWKER
NTA
ZETO