|
|
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 69 to 88 of 88
| Preview | Issue Date | Title | Author(s) | | 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 |
| Jan-1995 | Rational Spaces and Set Constraints | Kozen, Dexter |
| 1-Mar-2011 | Realization of Coinductive Types | Kozen, Dexter |
| 31-Jul-2012 | Reflection in the Chomsky Hierarchy | Barendregt, Henk; Capretta, Venanzio; Kozen, Dexter |
| 18-Jul-2005 | Relational Semantics of Local Variable Scoping | Aboul-Hosn, Kamal; Kozen, Dexter |
| 20-Dec-2004 | Second-Order Abstract Interpretation via Kleene Algebra | Kot, Lucja; Kozen, Dexter |
| Mar-1994 | Set Constaints and Logic Programming | Kozen, Dexter |
| Mar-1996 | Some Notes on Rational Spaces | Cheng, Allan; Kozen, Dexter |
| 31-Oct-2002 | Some Results in Dynamic Model Theory | Kozen, Dexter |
| 14-Mar-2013 | Stone Duality for Markov Processes | Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash |
| 14-Jun-2013 | Strong Completeness for Markovian Logics | Kozen, Dexter; Mardare, Radu; Panangaden, Prakash |
| Jun-1997 | A Theory of Interleavers | Andrews, Kenneth; Heegard, Chris; Kozen, Dexter |
| 8-Sep-2004 | Toward the Automation of Category Theory | Kozen, Dexter |
| Mar-1998 | Typed Kleene Algebra | Kozen, Dexter |
| 22-Feb-2013 | Typed Kleene Algebra with Products and Iteration Theories | Kozen, Dexter; Mamouras, Konstantinos |
| 24-May-2013 | Well-Founded Coalgebras, Revisited | Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra |
Showing results 69 to 88 of 88
|
