Khelifa Saber

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 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 Karim Nour, Khelifa Saber: A Semantics of Realisability for the Classical Propositional Natural Deduction. Electr. Notes Theor. Comput. Sci. 140: 31-39 (2005)

	2006
2		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		Karim Nour, Khelifa Saber: A Semantics of Realisability for the Classical Propositional Natural Deduction. Electr. Notes Theor. Comput. Sci. 140: 31-39 (2005)

Coauthor Index

1 Karim Nour [1] [2]