Kamal Aboul-Hosn

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Linear Combination

Top Venues

Logic and Program Semantics

Publications

Kamal Aboul-Hosn
Reflections on a \m $\slash$ Time with Dexter Kozen. Logic and Program Semantics (2012)
Kamal Aboul-Hosn, Dexter Kozen
Local variable scoping and Kleene algebra with tests. J. Log. Algebraic Methods Program. 76 (1) (2008)
Kamal Aboul-Hosn
An Axiomatization of Arrays for Kleene Algebra with Tests. RelMiCS (2006)
Kamal Aboul-Hosn, Dexter Kozen
Relational Semantics for Higher-Order Programs. MPC (2006)
Kamal Aboul-Hosn
A Proof-Theoretic Approach to Tactics. MKM (2006)
Kamal Aboul-Hosn, Dexter Kozen
Local Variable Scoping and Kleene Algebra with Tests. RelMiCS (2006)
Kamal Aboul-Hosn, Dexter Kozen
KAT-ML: an interactive theorem prover for Kleene algebra with tests. J. Appl. Non Class. Logics 16 (1-2) (2006)
Kamal Aboul-Hosn, Terese Andersen
A Proof-Theoretic Approach to Hierarchical Math Library Organization. MKM (2005)