|
|
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 54 to 73 of 86
| Preview | Issue Date | Title | Author(s) | | Jul-1999 | On Hoare Logic, Kleene Algebra, and Types | Kozen, Dexter |
| May-1990 | On Kleene Algebras and Closed Semirings | Kozen, Dexter |
| 12-Jun-2011 | On Moessner's Theorem | Kozen, Dexter; Silva, Alexandra |
| Jun-1976 | On Parallelism in Turing Machines | Kozen, Dexter |
| Nov-1995 | On Regularity-Preserving Functions | Kozen, Dexter |
| Jun-1987 | On Teaching Left-Handed Children to Write | Kozen, Dexter |
| 14-Mar-2008 | On the Coalgebraic Theory of Kleene Algebra with Tests | Kozen, Dexter |
| Sep-1999 | On the Completeness of Propositional Hoare Logic | Kozen, Dexter; Tiuryn, Jerzy |
| Mar-1997 | On the Complexity of Reasoning in Kleene Algebra | Kozen, Dexter |
| 8-May-2003 | On the Complexity of the Horn Theory of REL | Hardin, Chris; Kozen, Dexter |
| 21-Oct-2002 | On the Elimination of Hypotheses in Kleene Algebra with Tests | Hardin, Chris; Kozen, Dexter |
| 6-Oct-2003 | On the Representation of Kleene Algebras with Tests | Kozen, Dexter |
| 4-Feb-2002 | On Two Letters versus Three | Kozen, Dexter |
| 2-Jun-2009 | Optimal Coin Flipping | Kozen, Dexter |
| Jan-1990 | Parallel Resultant Computation | Ierardi, Doug J.; Kozen, Dexter |
| Jan-1999 | Parikh's Theorem in Commutative Kleene Algebra | Hopkins, Mark; Kozen, Dexter |
| Aug-1986 | Polynomial Decomposition Algorithms | Kozen, Dexter; Landau, Susan |
| 11-Nov-2012 | Practical Coinduction | Kozen, Dexter; Silva, Alexandra |
| 16-Mar-2005 | Publication/Citation: A Proof-Theoretic Approach to Mathematical
Knowledge Management | Kozen, Dexter; Ramanarayanan, Ganesh |
| Apr-1991 | Rabin Measures and Their Applications to Fairness and Automata Theory | Klarlund, Nils; Kozen, Dexter |
Showing results 54 to 73 of 86
|
