results  search [or]   1 hits 
ISNI: 
0000 0001 0960 7173 
Name: 
Dexter Kozen (American computer scientist)
Dexter Kozen (Amerikaans informaticus)
Dexter Kozen (informaticien américain)
Dexter Kozen (USamerikanischer 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)
SpringerVerlag (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 FiniteState Concurrent Systems
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 68, 1983
Logics of programs : workshop, Yorktown Heights, New York, May 1981
Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 1214, 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 2629, 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: 
BOWKER
NTA
ZETO
