Applications of inductive definitions and choice principles to program synthesis

by Ulrich Berger , Monika Seisenberger
Citations:1 - 0 self