Kamal Aboul-Hosn
From MaRDI portal
Person:929963
Available identifiers
zbMath Open aboul-hosn.kamalWikidataQ102312170 ScholiaQ102312170MaRDI QIDQ929963
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Reflections on a \m $\slash$ Time with Dexter Kozen | 2012-07-16 | Paper |
| KAT-ML: an interactive theorem prover for Kleene algebra with tests | 2009-11-30 | Paper |
| Relational Semantics for Higher-Order Programs | 2009-04-02 | Paper |
| Local variable scoping and Kleene algebra with tests | 2008-06-19 | Paper |
| Local Variable Scoping and Kleene Algebra with Tests | 2008-04-24 | Paper |
| An Axiomatization of Arrays for Kleene Algebra with Tests | 2008-04-24 | Paper |
| A Proof-Theoretic Approach to Tactics | 2007-09-05 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
Research outcomes over time
This page was built for person: Kamal Aboul-Hosn