dblp.uni-trier.dewww.uni-trier.de

Abir Nour

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
4 Karim Nour, Abir Nour: Propositional mixed logic: its syntax and semantics. Journal of Applied Non-Classical Logics 13(3-4): 377-390 (2003)
2002
3 Abir Nour: The Tableau Method for a Logical System Based on a Finite Poset. Journal of Applied Non-Classical Logics 12(1): 43-62 (2002)
2000
2EEAbir Nour: Sémantique de type Kripke d'un systéme logique basé sur un ensemble ordonné fini. Math. Log. Q. 46(3): 417-432 (2000)
1999
1 Abir Nour: Sémantique algébrique d'un systèmes logique basé sur un ensemble ordonné fini. Math. Log. Q. 45: 457-466 (1999)

Coauthor Index

1Karim Nour [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)