|
|
eCommons@Cornell >
Search Results
Results 1-10 of 106.
Item hits:
| Preview | Issue Date | Title | Author(s) | | 21-Oct-2002 | On the Elimination of Hypotheses in Kleene Algebra with Tests | Hardin, Chris; Kozen, Dexter |
| 3-Apr-2002 | Computational Inductive Definability | Kozen, Dexter |
| Jan-1989 | Logics of Programs | Kozen, Dexter; Tiuryn, Jerzy |
| 8-May-2003 | On the Complexity of the Horn Theory of REL | Hardin, Chris; Kozen, Dexter |
| Jul-1987 | Functional Decomposition of Polynomials | Von zur Gathen, Joachim; Kozen, Dexter; Landau, Susan |
| Jun-1987 | On Teaching Left-Handed Children to Write | Kozen, Dexter |
| Feb-1994 | Decomposition of Algebraic Functions | Kozen, Dexter; Landau, Susan; Zippel, Richard |
| May-1994 | Logical Aspects of Set Constraints | Kozen, Dexter |
| 4-Feb-2002 | On Two Letters versus Three | Kozen, Dexter |
| May-1990 | A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events | Kozen, Dexter |
1
2
3
4
5
6
7
8
9
10
next
|
