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
-------
-------