Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization

21 February 2009

Papers citing "Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization"

2 / 2 papers shown

Title
lim+, delta+, and Non-Permutability of beta-Steps Claus-Peter Wirth LRM 63 4 0 20 Feb 2009
Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie? Claus-Peter Wirth 95 4 0 17 Feb 2009