( en | de | ru )

 

Disambiguierung von "Schwichtenberg, Helmut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Basic proof theory, Second Edition.

, und . Cambridge tracts in theoretical computer science Cambridge University Press, (2000)

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.

Helmut Schwichtenberg

Helmut Schwichtenberg

Helmut Schwichtenberg

Michael Schwichtenberg

Jörg Schwichtenberg

 

Weitere Publikationen von Autoren mit dem selben Namen

Mathematical Logic. (2004)Minimal from classical proofs., und . Ann. Pure Appl. Log., 164 (6): 740-748 (2013)Finite Notations for Infinite Terms.. Ann. Pure Appl. Log., 94 (1-3): 201-222 (1998)On Bar Recursion of Types 0 and 1.. J. Symb. Log., 44 (3): 325-329 (1979)Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen.. Computation Theory and Logic, Volume 270 von Lecture Notes in Computer Science, Seite 334-348. Springer, (1987)A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis.. J. Univers. Comput. Sci., 11 (12): 2086-2095 (2005)Term rewriting for normalization by evaluation., , und . Inf. Comput., 183 (1): 19-42 (2003)Basic proof theory., und . Cambridge tracts in theoretical computer science Cambridge University Press, (1996)Higher type recursion, ramification and polynomial time., , und . Ann. Pure Appl. Log., 104 (1-3): 17-30 (2000)An upper bound for reduction sequences in the typed λ-calculus.. Arch. Math. Log., 30 (5-6): 405-408 (1991)