|
|
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 19 to 38 of 87
| Preview | Issue Date | Title | Author(s) | | 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 |
| 28-Oct-2002 | Halting and Equivalence of Schemes over Recursive Theories | Kozen, Dexter |
| 18-Oct-2007 | Indefinite Summation and the Kronecker Delta | Kozen, Dexter; Timme, Marc |
| 2-Jan-2001 | Intuitionistic Linear Logic and Partial Correctness | Kozen, Dexter; Tiuryn, Jerzy |
| 21-Aug-2003 | KAT-ML: An Interactive Theorem Prover for Kleene Algebra with Tests | Aboul-Hosn, Kamal; Kozen, Dexter |
| 20-Dec-2004 | Kleene Algebra and Bytecode Verification | Kot, Lucja; Kozen, Dexter |
| Jan-1996 | Kleene algebra with tests and commutativity conditions | Kozen, Dexter |
| 10-Jul-2001 | Kleene Algebra with Tests and Program Schematology | Angus, Allegra; Kozen, Dexter |
Showing results 19 to 38 of 87
|
