|
|
eCommons@Cornell >
Browsing by Author "Kozen, Dexter"
Showing results 1 to 20 of 73
| 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) |
| Dec-1999 | Certification of Compiler Optimizations using Kleene Algebra with Tests | Patron, Maria-Cristina; Kozen, Dexter |
| 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 |
| 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 |
| Apr-1994 | Efficient Average-Case Algorithms for the Modular Group | Kozen, Dexter |
Showing results 1 to 20 of 73
|
