What`s new
Login
中文
Dexter Kozen
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Cornell University
Ibm
University of California Berkeley
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Hoare logic
Finite-state machine
Logic
First-order logic
Algebra
Technical report
Dynamic logic
Proof theory
Algorithm design
Logic programming
Kleene algebra
Computability
Numerical analysis
Type theory
Computer Science
Program analysis
Automaton
Mathematical analysis
Polynomial
Theory of computation
Model of computation
Computational model
Discrete mathematics
Boolean algebra
Programming language
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Hoare logic
Finite-state machine
Logic
First-order logic
Algebra
Technical report
Dynamic logic
Proof theory
Algorithm design
Logic programming
Kleene algebra
Computability
Numerical analysis
Type theory
Computer Science
Program analysis
Automaton
Mathematical analysis
Polynomial
Theory of computation
Model of computation
Computational model
Discrete mathematics
Boolean algebra
Programming language
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Dexter Kozen
Cornell University
201
Dexter Kozen
Aarhus University
2
×
Share to your followers
Submit