Nait-Abdallah Areski

Submission Procedure

Submission Procedure

Board of Editors

Articles by Topics

Articles by Author

Geographical Mashup

Printed Publications

Volume 17 (2011)

Volume 16 (2010)

Volume 15 (2009)

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Collection of other papers

Areski Nait-Abdallah

Referee for:	F.3, I.2.3, I.2.4
Institution:	University of Western Ontario
Address:	Department of Computer Science University of Western Ontario London, Ontario N6A 5B Canada
Home Page:	http://www.csd.uwo.ca/People/areski.shtml

Main Research Interests:

denotational semantics
computational logic