eCommons@Cornell: Browsing eCommons

Browsing by Author Kozen, Dexter

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 83 to 87 of 87

Issue Date	Title	Author(s)
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 83 to 87 of 87