Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

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