( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computable analysis and notions of continuity in Coq.

, , и . Log. Methods Comput. Sci., (2021)

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.

Nadja Thiessen

Veränderungen der Zellzusammensetzung und des Zytokinmusters in der Milz nach der Resektion der mesenterialen Lymphknoten und nach gleichzeitiger Gabe von Cholera-Impfstoff. MedH Hannover, (2009)

Philipp Thies

Thies Nolte

Otto Thies

Otto Thies

 

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

Average-Case Polynomial-Time Computability of Hamiltonian Dynamics., , и . MFCS, том 117 из LIPIcs, стр. 30:1-30:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations., , , и . CASC, том 12865 из Lecture Notes in Computer Science, стр. 370-390. Springer, (2021)Certified Computation of Nondeterministic Limits., , и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 771-789. Springer, (2022)Computable analysis and notions of continuity in Coq., , и . Log. Methods Comput. Sci., (2021)Continuous and Monotone Machines., , и . MFCS, том 170 из LIPIcs, стр. 56:1-56:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Computable Analysis for Verified Exact Real Computation., , и . FSTTCS, том 182 из LIPIcs, стр. 50:1-50:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Formalizing Hyperspaces for Extracting Efficient Exact Real Computation., , и . MFCS, том 272 из LIPIcs, стр. 59:1-59:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Axiomatic Reals and Certified Efficient Exact Real Computation., , и . WoLLIC, том 13038 из Lecture Notes in Computer Science, стр. 252-268. Springer, (2021)Second-Order Linear-Time Computability with Applications to Computable Analysis., , и . TAMC, том 11436 из Lecture Notes in Computer Science, стр. 337-358. Springer, (2019)Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving., , и . WoLLIC, том 10944 из Lecture Notes in Computer Science, стр. 223-236. Springer, (2018)