When is a Formula Invariant?
Speaker:
Deepak Kapur
(University of New Mexico
Department of Computer Science
School of Engineering
Albuquerque, NM 87131-0001
United States of America)
Organiser:
Paritosh K Pandya
Date:
Friday, 21 Feb 2014, 16:00 to 17:30
Venue:
D-405 (D-Block Seminar Room)