General Inductive Inference Types Based on Linearly-Ordered Sets.

Andris Ambainis, Rusins Freivalds, Carl H. Smith

Browse the full STACS paper archive.