[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: AST transformations



jvb@uwyo.edu wrote:
> Etienne. Thanks for your reply. Actually, I am a faculty member here
> and I am more or less of an expert on automated reasoning, from which
> the ideas I've expressed come. So I'm pretty familiar with the field.

Oh!  Great!  (My aplologies for not checking the University of Wyoming web
site first).

-- 
----------------------------------------------------------------------
Etienne M. Gagnon, M.Sc.                     e-mail: egagnon@j-meg.com
Author of SableCC:                 http://www.sable.mcgill.ca/sablecc/
----------------------------------------------------------------------