|
|
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 4 to 23 of 88
| Preview | Issue Date | Title | Author(s) | | 23-Jan-2008 | The Boehm-Jacopini Theorem is False, Propositionally | Kozen, Dexter; Tseng, Wei-Lung (Dustin) |
| 14-Jan-2012 | Capsules and Separation | Jeannin, Jean-Baptiste; Kozen, Dexter |
| Dec-1999 | Certification of Compiler Optimizations using Kleene Algebra with Tests | Patron, Maria-Cristina; Kozen, Dexter |
| 5-Feb-2010 | Church-Rosser Made Easy | Kozen, Dexter |
| 31-Dec-2012 | CoCaml: Programming with Coinductive Types | Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra |
| 24-Mar-2005 | Coinductive Proof Principles for Stochastic Processes | Kozen, Dexter |
| 18-May-2007 | Collective Inference on Markov Models for Modeling Bird Migration | Sheldon, Daniel; Elmohamed, M. A. Saleh; Kozen, Dexter |
| May-1995 | A Complete Gentzen-style Axiomatization for Set Constraints | Cheng, Allan; Kozen, Dexter |
| May-1990 | A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events | Kozen, Dexter |
| Dec-1976 | Complexity of Finitely Presented Algebras | Kozen, Dexter |
| Jul-1996 | The Complexity of Kleene Algebra with Tests | Cohen, Ernie; Kozen, Dexter; Smith, Frederick |
| May-1993 | The Complexity of Set Constraints | Aiken, Alexander; Kozen, Dexter; Vardi, Moshe; Wimmers, Ed |
| 3-Apr-2002 | Computational Inductive Definability | Kozen, Dexter |
| Oct-1993 | Computing the Newtonian Graph (Extended abstract) | Kozen, Dexter; Stefansson, Kjartan |
| 26-Jan-2011 | Computing with Capsules | Jeannin, Jean-Baptiste; Kozen, Dexter |
| Jun-1993 | Decidability of Systems of Set Constraints with Negative Constraints | Aiken, Alexander; Kozen, Dexter; Wimmers, Ed |
| Feb-1994 | Decomposition of Algebraic Functions | Kozen, Dexter; Landau, Susan; Zippel, Richard |
| Mar-1987 | Definability with Bounded Number of Bound Variables | Immerman, Neil; Kozen, Dexter |
| 23-Jul-2001 | Eager Class Initialization for Java | Kozen, Dexter; Stillerman, Matt |
| May-1995 | Efficient Algorithms for Optimal Video Transmission | Kozen, Dexter; Minsky, Yaron; Smith, Brian |
Showing results 4 to 23 of 88
|
