| |
| 2006 | ||
|---|---|---|
| 2 | EE | Karim Nour, Khelifa Saber: A semantical proof of the strong normalization theorem for full propositional classical natural deduction. Arch. Math. Log. 45(3): 357-364 (2006) |
| 2005 | ||
| 1 | EE | Karim Nour, Khelifa Saber: A Semantics of Realisability for the Classical Propositional Natural Deduction. Electr. Notes Theor. Comput. Sci. 140: 31-39 (2005) |
| 1 | Karim Nour | [1] [2] |