| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 8 |      | Kamal Aboul-Hosn: Reflections on a \m $\slash$ Time with Dexter Kozen. Logic and Program Semantics 2012: 318-321 |
| 2008 | ||
| 7 | | Kamal Aboul-Hosn, Dexter Kozen: Local variable scoping and Kleene algebra with tests. J. Log. Algebr. Program. 76(1): 3-17 (2008) |
| 2006 | ||
| 6 | | Kamal Aboul-Hosn: A Proof-Theoretic Approach to Tactics. MKM 2006: 54-66 |
| 5 | | Kamal Aboul-Hosn, Dexter Kozen: Relational Semantics for Higher-Order Programs. MPC 2006: 29-48 |
| 4 | | Kamal Aboul-Hosn: An Axiomatization of Arrays for Kleene Algebra with Tests. RelMiCS 2006: 63-77 |
| 3 | | Kamal Aboul-Hosn, Dexter Kozen: Local Variable Scoping and Kleene Algebra with Tests. RelMiCS 2006: 78-90 |
| 2 |  | Kamal Aboul-Hosn, Dexter Kozen: KAT-ML: an interactive theorem prover for Kleene algebra with tests. Journal of Applied Non-Classical Logics 16(1-2): 9-34 (2006) |
| 2005 | ||
| 1 | | Kamal Aboul-Hosn, Terese Andersen: A Proof-Theoretic Approach to Hierarchical Math Library Organization. MKM 2005: 1-16 |
| 1 | Terese Andersen | [1] |
| 2 | Dexter Kozen | [2] [3] [5] [7] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page