
Search the dblp DataBase
Kamal AboulHosn:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Kamal AboulHosn
An Axiomatization of Arrays for Kleene Algebra with Tests. [Citation Graph (0, 0)][DBLP] RelMiCS, 2006, pp:6377 [Conf]
 Kamal AboulHosn, Dexter Kozen
Local Variable Scoping and Kleene Algebra with Tests. [Citation Graph (0, 0)][DBLP] RelMiCS, 2006, pp:7890 [Conf]
 Kamal AboulHosn, Terese Andersen
A ProofTheoretic Approach to Hierarchical Math Library Organization. [Citation Graph (0, 0)][DBLP] MKM, 2005, pp:116 [Conf]
 Kamal AboulHosn
A ProofTheoretic Approach to Tactics. [Citation Graph (0, 0)][DBLP] MKM, 2006, pp:5466 [Conf]
 Kamal AboulHosn, Dexter Kozen
Relational Semantics for HigherOrder Programs. [Citation Graph (0, 0)][DBLP] MPC, 2006, pp:2948 [Conf]
 Kamal AboulHosn, Dexter Kozen
KATML: an interactive theorem prover for Kleene algebra with tests. [Citation Graph (0, 0)][DBLP] Journal of Applied NonClassical Logics, 2006, v:16, n:12, pp:934 [Journal]
Search in 0.003secs, Finished in 0.003secs
