
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 52 to 71 of 94
Preview  Issue Date  Title  Author(s)   30Nov2000  MyhillNerode Relations on Automatic Systems and the Completeness ofKleene Algebra  Kozen, Dexter 
 2Jul2004  Natural Transformations as Rewrite Rules and Monad Composition  Kozen, Dexter 
 Dec1986  NC Algorithms for Comparability Graphs, Interval Graphs, and Unique Perfect Matchings  Kozen, Dexter; Vazirani, Umesh V.; Vazirani, Vijay V. 
 11Oct2013  NetKAT: Semantic Foundations for Networks  Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, JeanBaptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David 
 17Mar2012  New  Kozen, Dexter 
 11Apr2008  Nonlocal Flow of Control and Kleene Algebra with Tests  Kozen, Dexter 
 29Jun2007  On Distance Coloring  Kozen, Dexter; Sharp, Alexa 
 Dec1998  On Hoare Logic and Kleene Algebra with Tests  Kozen, Dexter 
 Jul1999  On Hoare Logic, Kleene Algebra, and Types  Kozen, Dexter 
 May1990  On Kleene Algebras and Closed Semirings  Kozen, Dexter 
 12Jun2011  On Moessner's Theorem  Kozen, Dexter; Silva, Alexandra 
 Jun1976  On Parallelism in Turing Machines  Kozen, Dexter 
 Nov1995  On RegularityPreserving Functions  Kozen, Dexter 
 Jun1987  On Teaching LeftHanded Children to Write  Kozen, Dexter 
 14Mar2008  On the Coalgebraic Theory of Kleene Algebra with Tests  Kozen, Dexter 
 Sep1999  On the Completeness of Propositional Hoare Logic  Kozen, Dexter; Tiuryn, Jerzy 
 Mar1997  On the Complexity of Reasoning in Kleene Algebra  Kozen, Dexter 
 8May2003  On the Complexity of the Horn Theory of REL  Hardin, Chris; Kozen, Dexter 
 21Oct2002  On the Elimination of Hypotheses in Kleene Algebra with Tests  Hardin, Chris; Kozen, Dexter 
 6Oct2003  On the Representation of Kleene Algebras with Tests  Kozen, Dexter 
Showing results 52 to 71 of 94
