Graded Hypothesis Theories

Philippe Chatalic, Christine Froidevaux, Camilla Schwind. Graded Hypothesis Theories. Theoretical Computer Science, 171(1-2):247-280, 1997. [doi]

Abstract

Abstract is missing.