|
|
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 41 to 60 of 86
| Preview | Issue Date | Title | Author(s) | | Jun-1999 | Language-Based Security | Kozen, Dexter |
| 23-Aug-2011 | Left-Handed Completeness | Kozen, Dexter; Silva, Alexandra |
| 25-Jun-2009 | Lexicographic Flow | Kozen, Dexter |
| May-1994 | Logical Aspects of Set Constraints | Kozen, Dexter |
| Jan-1989 | Logics of Programs | Kozen, Dexter; Tiuryn, Jerzy |
| 27-Sep-2002 | Malicious Code Detection for Open Firmware | Adelstein, Frank; Stillerman, Matt; Kozen, Dexter |
| 30-Nov-2000 | Myhill-Nerode Relations on Automatic Systems and the Completeness ofKleene Algebra | Kozen, Dexter |
| 2-Jul-2004 | Natural Transformations as Rewrite Rules and Monad Composition | Kozen, Dexter |
| Dec-1986 | NC Algorithms for Comparability Graphs, Interval Graphs, and Unique Perfect Matchings | Kozen, Dexter; Vazirani, Umesh V.; Vazirani, Vijay V. |
| 17-Mar-2012 | New | Kozen, Dexter |
| 11-Apr-2008 | Nonlocal Flow of Control and Kleene Algebra with Tests | Kozen, Dexter |
| 29-Jun-2007 | On Distance Coloring | Kozen, Dexter; Sharp, Alexa |
| Dec-1998 | On Hoare Logic and Kleene Algebra with Tests | Kozen, Dexter |
| 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 |
Showing results 41 to 60 of 86
|
