Concepedia
Statistics
Publications
4
Citations
95
H-Index
Active since
2003
Affiliations
Université Savoie Mont Blanc(Current)
Institut National de l'Énergie Solaire
Karim Nour is an author at Université Savoie Mont Blanc specializing in predicate logic, formal methods, and computing.
Publications per year
2003–2007
A short proof of the strong normalization of classical natural deduction with disjunction
René David, Karim Nour · Journal of Symbolic Logic · 2003 · 53 citations · Full text
Computing, Computer Science, Mathematics +7
A semantical proof of the strong normalization theorem for full propositional classical natural deduction
Karim Nour, Khelifa Saber · Archive for Mathematical Logic · 2005 · 18 citations · Full text
Computing, Computer Science, Formal Methods +10
Why the Usual Candidates of Reducibility Do Not Work for the Symmetric λμ-calculus
René David, Karim Nour · Electronic Notes in Theoretical Computer Science · 2005 · 13 citations · Full text
Natural Sciences, Mathematics, Algebra +6
A completeness result for a realisability semantics for an intersection type system
Fairouz Kamareddine, Karim Nour · Annals of Pure and Applied Logic · 2007 · 11 citations · Full text
Computing, Computer Science, Formal Methods +11
1–4 of 4