eCommons@Cornell: Browsing eCommons

Browsing by Author Kozen, Dexter

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 52 to 71 of 86

Issue Date	Title	Author(s)
29-Jun-2007	On Distance Coloring	Kozen, Dexter; Sharp, Alexa
Dec-1998	On Hoare Logic and Kleene Algebra with Tests	Kozen, Dexter
Jul-1999	On Hoare Logic, Kleene Algebra, and Types	Kozen, Dexter
May-1990	On Kleene Algebras and Closed Semirings	Kozen, Dexter
12-Jun-2011	On Moessner's Theorem	Kozen, Dexter; Silva, Alexandra
Jun-1976	On Parallelism in Turing Machines	Kozen, Dexter
Nov-1995	On Regularity-Preserving Functions	Kozen, Dexter
Jun-1987	On Teaching Left-Handed Children to Write	Kozen, Dexter
14-Mar-2008	On the Coalgebraic Theory of Kleene Algebra with Tests	Kozen, Dexter
Sep-1999	On the Completeness of Propositional Hoare Logic	Kozen, Dexter; Tiuryn, Jerzy
Mar-1997	On the Complexity of Reasoning in Kleene Algebra	Kozen, Dexter
8-May-2003	On the Complexity of the Horn Theory of REL	Hardin, Chris; Kozen, Dexter
21-Oct-2002	On the Elimination of Hypotheses in Kleene Algebra with Tests	Hardin, Chris; Kozen, Dexter
6-Oct-2003	On the Representation of Kleene Algebras with Tests	Kozen, Dexter
4-Feb-2002	On Two Letters versus Three	Kozen, Dexter
2-Jun-2009	Optimal Coin Flipping	Kozen, Dexter
Jan-1990	Parallel Resultant Computation	Ierardi, Doug J.; Kozen, Dexter
Jan-1999	Parikh's Theorem in Commutative Kleene Algebra	Hopkins, Mark; Kozen, Dexter
Aug-1986	Polynomial Decomposition Algorithms	Kozen, Dexter; Landau, Susan
11-Nov-2012	Practical Coinduction	Kozen, Dexter; Silva, Alexandra

Showing results 52 to 71 of 86