|
|
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 31 to 50 of 86
| Preview | Issue Date | Title | Author(s) | | 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 |
| 17-Nov-2003 | Kleene Algebra with Tests and the Static Analysis of Programs | Kozen, Dexter |
| Apr-1996 | Kleene Algebra with Tests: Completeness and Decidability | Kozen, Dexter; Smith, Frederick |
| 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 |
Showing results 31 to 50 of 86
|
