Dexter Kozen

Dexter Campbell Kozen is an American theoretical computer scientist. He is Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

We introduce an axiomatization for the coalgebraic fixed point logic which was introduced by Venema as a generalization, based on…

2011

We study a weak variant of omega algebra, where one of the usual star induction axioms is absent, in the context of recursive…

2008

While irrigation of farm dairy effluent (FDE) to land is becoming popular in New Zealand, it can lead to increased emissions of…

2008

Determining whether a univariate polynomial may be written as the functional composition of two others of lower degree is a…

2006

This textbook is uniquely written with dual purpose. It cover cores material in the foundations of computing for graduate…

1998

Let predicate P be converted from Boolean to numeric type by writing 〈P〉, with 〈false〉 being 0 and 〈true〉 being 1, so that in a…

Highly Cited

1996

Highly Cited

1996

General agreement exists about the usefulness of sets as very high- level representations of complex data structures. Therefore…

1994

COmpOnentS The version we prefent lacks the Original papers mathematical formalism, but preserves its comprehensive, compelling…

1994

(AU7H0R • 5 N07E ,) N0t hav1n9 had the p1ea5ure 0f 6e1n9 a61e t0 per50na11y u5e A4uanet (a1a5 •), 1 am re1y1n9 0n pu6115hed…

1993

In concurrent process theory, processes are often modeled by state machines and Petri Nets. Algebraic process theories based on…