Kamal Aboul-Hosn, Ph.D.
Affiliations: | 2007 | Cornell University, Ithaca, NY, United States |
Area:
Computer ScienceGoogle:
"Kamal Aboul-Hosn"Parents
Sign in to add mentor| Dexter Kozen | grad student | 2007 | Cornell | |
| (A proof -theoretic approach to mathematical knowledge management.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Aboul-Hosn K, Kozen D. (2008) Local variable scoping and Kleene algebra with tests Journal of Logic and Algebraic Programming. 76: 3-17 |
| Aboul-Hosn K, Kozen D. (2006) KAT-ML:An interactive theorem prover for kleene algebra with tests Journal of Applied Non-Classical Logics. 16: 9-33 |
| Aboul-Hosn K, Kozen D. (2006) Local variable scoping and kleene algebra with tests Lecture Notes in Computer Science. 78-90 |
| Aboul-Hosn K. (2006) An axiomatization of arrays for kleene algebra with tests Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4136: 63-77 |
| Aboul-Hosn K, Kozen D. (2006) Relational semantics for higher-order programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4014: 29-48 |
| Aboul-Hosn K, Andersen TD. (2006) A proof-theoretic approach to hierarchical math library organization Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3863: 1-16 |
| Aboul-Hosn K. (2006) A proof-theoretic approach to tactics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4108: 54-66 |