
eCommons@Cornell >
Browsing by Author Kozen, Dexter
Showing results 12 to 31 of 96
Preview  Issue Date  Title  Author(s)   May1995  A Complete Gentzenstyle Axiomatization for Set Constraints  Cheng, Allan; Kozen, Dexter 
 14Nov2014  Completeness and Incompleteness in Nominal Kleene Algebra  Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 
 May1990  A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events  Kozen, Dexter 
 Dec1976  Complexity of Finitely Presented Algebras  Kozen, Dexter 
 Jul1996  The Complexity of Kleene Algebra with Tests  Cohen, Ernie; Kozen, Dexter; Smith, Frederick 
 May1993  The Complexity of Set Constraints  Aiken, Alexander; Kozen, Dexter; Vardi, Moshe; Wimmers, Ed 
 3Apr2002  Computational Inductive Definability  Kozen, Dexter 
 Oct1993  Computing the Newtonian Graph (Extended abstract)  Kozen, Dexter; Stefansson, Kjartan 
 26Jan2011  Computing with Capsules  Jeannin, JeanBaptiste; Kozen, Dexter 
 Jun1993  Decidability of Systems of Set Constraints with Negative Constraints  Aiken, Alexander; Kozen, Dexter; Wimmers, Ed 
 Feb1994  Decomposition of Algebraic Functions  Kozen, Dexter; Landau, Susan; Zippel, Richard 
 Mar1987  Definability with Bounded Number of Bound Variables  Immerman, Neil; Kozen, Dexter 
 23Jul2001  Eager Class Initialization for Java  Kozen, Dexter; Stillerman, Matt 
 May1995  Efficient Algorithms for Optimal Video Transmission  Kozen, Dexter; Minsky, Yaron; Smith, Brian 
 Apr1994  Efficient AverageCase Algorithms for the Modular Group  Kozen, Dexter 
 Jan1998  Efficient Code Certification  Kozen, Dexter 
 Apr1994  Efficient Resolution of Singularities of Plane Curves  Kozen, Dexter 
 24Oct2002  Equational Verification of Cache Blocking in LU Decomposition using Kleene Algebra with Tests  Barth, Adam; Kozen, Dexter 
 Mar1977  Finitely Presented Algebras and the Polynomial Time Hiercharchy  Kozen, Dexter 
 Apr1977  First Order Predicate Logic Without Negation is NPComplete  Kozen, Dexter 
Showing results 12 to 31 of 96
