Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Computability in Europe 2009., , , und . Ann. Pure Appl. Logic, 163 (5): 483-484 (2012)Intuitionistic Validity in T-Normal Kripke Structures.. Ann. Pure Appl. Logic, 59 (3): 159-173 (1993)Separation results for the size of constant-depth propositional proofs., und . Ann. Pure Appl. Logic, 136 (1-2): 30-55 (2005)Propositional Consistency Proofs.. Ann. Pure Appl. Logic, 52 (1-2): 3-29 (1991)Towards NP-P via proof complexity and search.. Ann. Pure Appl. Logic, 163 (7): 906-917 (2012)Safe Recursive Set Functions., , und . J. Symb. Log., 80 (3): 730-762 (2015)Sharpened lower bounds for cut elimination.. J. Symb. Log., 77 (2): 656-668 (2012)Good Degree Bounds on Nullstellensatz Refutations of the Induction Principle., und . J. Comput. Syst. Sci., 57 (2): 162-171 (1998)The Modal Logic of Pure Provability.. Notre Dame Journal of Formal Logic, 31 (2): 225-231 (1990)Cutting planes, connectivity, and threshold logic., und . Arch. Math. Log., 35 (1): 33-62 (1996)