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 Logic and Program Semantics | 2012-07-16 | Paper |
| KAT-ML: an interactive theorem prover for Kleene algebra with tests Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
| Relational Semantics for Higher-Order Programs Lecture Notes in Computer Science | 2009-04-02 | Paper |
| Local variable scoping and Kleene algebra with tests The Journal of Logic and Algebraic Programming | 2008-06-19 | Paper |
| Local Variable Scoping and Kleene Algebra with Tests Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
| An Axiomatization of Arrays for Kleene Algebra with Tests Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
| A Proof-Theoretic Approach to Tactics Lecture Notes in Computer Science | 2007-09-05 | Paper |
| Mathematical Knowledge Management Lecture Notes in Computer Science | 2007-02-12 | Paper |
Research outcomes over time
This page was built for person: Kamal Aboul-Hosn
