AI.ELLIE@MCC.COM (Ellie Huck) (05/21/87)
Vladimir Lifschitz Stanford University May 27 - 10:00pm ACA Conference Room 2.806 "What is the Inverse Method?" A large part of work on proof procedures for predicate logic done in the Soviet Union in the sixties and seventies was based on the "inverse method", proposed by Sergey Maslov. This important work has not been duly appreciated outside the small circle of Maslov's associates. I will review the basic ideas of the method in the form which stresses its connection with resolution. May 27 - 10:00 ACA Conference Room ------- -------