|
|
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 1 to 20 of 88
| Preview | Issue Date | Title | Author(s) | | May-1987 | ALEX - an Alexical Programming Language | Kozen, Dexter; Teitelbaum, Tim; Chen, Wilfred Z.; Field, John H.; Pugh, William W.; Vander Zanden, Bradley T. |
| 16-May-2007 | Applications of Metric Coinduction | Kozen, Dexter; Ruozzi, Nicholas |
| 25-Jan-2001 | Automata on Guarded Strings and Applications | Kozen, Dexter |
| 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 |
Showing results 1 to 20 of 88
|
