Talk
April 11, 2005
INF5170 - Master Seminar in Logic

Delta Rules, Skolemization, and Soundness