DMCA

Induction = I-Axiomatization + First-Order Consistency (1998)

by Hubert Comon , Robert Nieuwenhuis
Venue:INFORMATION AND COMPUTATION
Citations:10 - 0 self