7 citations · 23 across the 18 of their papers we have counts for
1 paper · 2 filters
Stefan Hetzl, Jannik Vierling
We investigate quantifier-free induction for Lisp-like lists constructed inductively from the empty list nil and the operation cons, that adds an element to t…