Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Complexity Bounds on Proofs.

W. Hatcher, und B. Hodgson. J. Symb. Log., 46 (2): 255-258 (1981)

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.

Univ. -Prof. Dr. Bernard Haasdonk University of Stuttgart

R. Koerner

R. Watty

Dipl.-Ing. Marc Riedlinger

An adaptive self-managing platform for cabin management systemsM. Riedlinger, O. Marquardt, R. Ahmadi, und R. Reichel. CEAS Aeronautical Journal, 7 (3): 483--498 (2016)

An adaptive self-managing platform for cabin management systemsM. Riedlinger, O. Marquardt, R. Ahmadi, und R. Reichel. CEAS Aeronautical Journal, 7 (3): 483--498 (2016)DIANA - Technologien für eine Energie-autarke, intelligente Kabine: Selbstadaptive Kabinenelektronik Plattform : Schlussbericht :M. Riedlinger, und R. Reichel. (2015)An adaptive middleware approach for fault-tolerant avionic systemsO. Marquardt, M. Riedlinger, R. Ahmadi, und R. Reichel. 2015 IEEE Aerospace Conference, Institute of Electrical and Electronics Engineers (IEEE), (März 2015)

Nils Rodrigues University of Stuttgart

A Visual Analytics Approach for Word Relevances in Multiple TextsN. Rodrigues, M. Burch, L. Di Silvestro, und D. Weiskopf. (2017)

Weitere Publikationen von Autoren mit dem selben Namen

Uniform Normal Form for General Time-Bounded Complexity Classes.B. Hodgson, und C. Kent. J. Comput. Syst. Sci., 32 (3): 363-369 (1986)Extensions of Arithmetic For Proving Termination of Computations.C. Kent, und B. Hodgson. J. Symb. Log., 54 (3): 779-794 (1989)A Normal Form for Arithmetical Representation of NP-Sets.B. Hodgson, und C. Kent. J. Comput. Syst. Sci., 27 (3): 378-388 (1983)On Direct Products of Automaton Decidable Theories.B. Hodgson. Theor. Comput. Sci., (1982)An Arithmetical Characterization of NP.C. Kent, und B. Hodgson. Theor. Comput. Sci., (1982)A Survey of Ordinal Interpretations of Type epsilon0for Termination of Rewriting Systems.B. Hodgson, und C. Kent. CTRS, Volume 516 von Lecture Notes in Computer Science, Seite 137-142. Springer, (1990)Complexity Bounds on Proofs.W. Hatcher, und B. Hodgson. J. Symb. Log., 46 (2): 255-258 (1981)