( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The equational theory of the Weihrauch lattice with multiplication.

, , и . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Eike Alfred Neumann-Overholthaus

Theodor Eikelmann

Hella Eikenberg

Wolfgang Eikenberg

Andreas Eikeren

 

Другие публикации лиц с тем же именем

Representations and evaluation strategies for feasibly approximable functions., и . Comput., 10 (1): 63-89 (2021)Decision Problems for Second-Order Holonomic Recurrences., , и . ICALP, том 198 из LIPIcs, стр. 99:1-99:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)On Envelopes and Backward Approximations.. CiE, том 13359 из Lecture Notes in Computer Science, стр. 220-233. Springer, (2022)On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets., , , , и . MFCS, том 202 из LIPIcs, стр. 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, том 14235 из Lecture Notes in Computer Science, стр. 98-112. Springer, (2023)Semantics, Specification Logic, and Hoare Logic of Exact Real Computation., , , , , , , , , и . Log. Methods Comput. Sci., (2024)Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set., , , , и . MFCS, том 241 из LIPIcs, стр. 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)On Ranking Function Synthesis and Termination for Polynomial Programs., , и . CONCUR, том 171 из LIPIcs, стр. 15:1-15:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees.. Logical Methods in Computer Science, (2015)