|
|
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 12 to 31 of 86
| Preview | Issue Date | Title | Author(s) | | 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 |
| Apr-1994 | Efficient Average-Case Algorithms for the Modular Group | Kozen, Dexter |
| Jan-1998 | Efficient Code Certification | Kozen, Dexter |
| Apr-1994 | Efficient Resolution of Singularities of Plane Curves | Kozen, Dexter |
| 24-Oct-2002 | Equational Verification of Cache Blocking in LU Decomposition using Kleene Algebra with Tests | Barth, Adam; Kozen, Dexter |
| Mar-1977 | Finitely Presented Algebras and the Polynomial Time Hiercharchy | Kozen, Dexter |
| Apr-1977 | First Order Predicate Logic Without Negation is NP-Complete | Kozen, Dexter |
| Jul-1987 | Functional Decomposition of Polynomials | Von zur Gathen, Joachim; Kozen, Dexter; Landau, Susan |
| 19-May-2010 | Halting and Equivalence of Program Schemes in Models of Arbitrary Theories | Kozen, Dexter |
Showing results 12 to 31 of 86
|
