eCommons@Cornell >
Browsing by Subject Kleene algebra
Showing results 1 to 8 of 8
Preview  Issue Date  Title  Author(s)   23Jan2008  The BoehmJacopini Theorem is False, Propositionally  Kozen, Dexter; Tseng, WeiLung (Dustin) 
 26Mar2014  A Coalgebraic Decision Procedure for NetKAT  Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure 
 8Jan2014  KAT + B!  Grathwohl, Niels Bjørn Bugge; Kozen, Dexter; Mamouras, Konstantinos 
 27Feb2014  Kleene Algebra with Equations  Kozen, Dexter; Mamouras, Konstantinos 
 23Aug2011  LeftHanded Completeness  Kozen, Dexter; Silva, Alexandra 
 11Apr2008  Nonlocal Flow of Control and Kleene Algebra with Tests  Kozen, Dexter 
 14Mar2008  On the Coalgebraic Theory of Kleene Algebra with Tests  Kozen, Dexter 
 22Feb2013  Typed Kleene Algebra with Products and Iteration Theories  Kozen, Dexter; Mamouras, Konstantinos 
Showing results 1 to 8 of 8
