( en | de | ru )

 

Disambiguierung von "Neumann, Eike"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees.

. Logical Methods in Computer Science, (2015)

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.

Eike Alfred Neumann-Overholthaus

Theodor Eikelmann

Hella Eikenberg

Wolfgang Eikenberg

Andreas Eikeren

 

Weitere Publikationen von Autoren mit dem selben Namen

Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees.. Logical Methods in Computer Science, (2015)The equational theory of the Weihrauch lattice with multiplication., , und . CoRR, (2024)On Envelopes and Backward Approximations.. CiE, Volume 13359 von Lecture Notes in Computer Science, Seite 220-233. Springer, (2022)On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets., , , , und . MFCS, Volume 202 von LIPIcs, Seite 33:1-33:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Universal envelopes of discontinuous functions.. Aston University, Birmingham, UK, (2019)British Library, EThOS.On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions.. RP, Volume 14235 von Lecture Notes in Computer Science, Seite 98-112. Springer, (2023)Semantics, Specification Logic, and Hoare Logic of Exact Real Computation., , , , , , , , , und . Log. Methods Comput. Sci., (2024)On Ranking Function Synthesis and Termination for Polynomial Programs., , und . CONCUR, Volume 171 von LIPIcs, Seite 15:1-15:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set., , , , und . MFCS, Volume 241 von LIPIcs, Seite 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Representations and evaluation strategies for feasibly approximable functions., und . Comput., 10 (1): 63-89 (2021)