Talk
March 7, 2005
INF5170 - Master Seminar in Logic

Delta Rules, Skolemization, and Soundness