Dexter Kozen

Dexter Kozen

Professor of Computer Science, Cornell University
在 cs.cornell.edu 的电子邮件经过验证
被引用次数：24019
program logic and semantics algorithm design and analysis complexity theory automata theory