eCommons@Cornell: Browsing eCommons

Browsing by Author Aboul-Hosn, Kamal

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 1 to 4 of 4

Issue Date	Title	Author(s)
31-May-2006	An Axiomatization of Arrays for Kleene Algebra with Tests	Aboul-Hosn, Kamal
21-Aug-2003	KAT-ML: An Interactive Theorem Prover for Kleene Algebra with Tests	Aboul-Hosn, Kamal; Kozen, Dexter
8-Dec-2006	A Proof-Theoretic Approach to Mathematical Knowledge Management	Aboul-Hosn, Kamal
18-Jul-2005	Relational Semantics of Local Variable Scoping	Aboul-Hosn, Kamal; Kozen, Dexter

Showing results 1 to 4 of 4