A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Display formulas [help]

Buss, Samuel R., The Boolean Formula Value Problem is in ALOGTIME (1987)
Buss, Samuel R., The Modal Logic of Pure Provability (1988)
Buss, Samuel R. ; Hay, Loise, On Truth-Table Reducibility to SAT and the Difference Hierarchy over NP (1987)
Buss, Samuel R. ; Turán, Győrgy, Resolution Proofs of Generalized Pigeonhole Principles (1988)
Butts, Rober E., Hypothesis and Explanation in Kant's Philosophy of Science (1961)
Butts, Rober E., Kant on Hypotheses in the "Doctrine of Method" and the Logik (1962)
Byrd, Michael, On Incoherent Quantification in Languages Without Constants