( en | de | ru )

 

Disambiguierung von "Buss, Samuel R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unprovability of Consistency Statements in Fragments of Bounded Arithmetic.

, und . Ann. Pure Appl. Log., 74 (3): 221-244 (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gisela Buss

Hans Buss

Walter Buss

Gerhard Buss

Jan Buss

 

Weitere Publikationen von Autoren mit dem selben Namen

3-D Computer Graphics.. Cambridge University Press, (2013)Cutting planes, connectivity, and threshold logic., und . Arch. Math. Log., 35 (1): 33-62 (1996)Safe Recursive Set Functions., , und . J. Symb. Log., 80 (3): 730-762 (2015)The Modal Logic of Pure Provability.. Notre Dame J. Formal Log., 31 (2): 225-231 (1990)Small Stone in Pool., und . Logical Methods in Computer Science, (2014)The Polynomial Hierarchy and Fragments of Bounded Arithmetic (Extended Abstract). STOC, Seite 285-290. ACM, (1985)Minimum Propositional Proof Length is NP-Hard to Linearly Approximate., , , und . MFCS, Volume 1450 von Lecture Notes in Computer Science, Seite 176-184. Springer, (1998)A Switching Lemma for Small Restrictions and Lower Bounds for k - DNF Resolution., , und . FOCS, Seite 604-. IEEE Computer Society, (2002)Resource-Bounded Continuity and Sequentiality for Type-Two Functionals., und . LICS, Seite 77-83. IEEE Computer Society, (2000)Lower complexity bounds in justification logic., und . Ann. Pure Appl. Log., 163 (7): 888-905 (2012)