Horatiu Cheval

According to our database¹, Horatiu Cheval authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Formal definitions and proofs for partial (co)recursive functions.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2024

2023

On Modified Halpern and Tikhonov-Mann Iterations.

[BibT_eX]

[DOI]

J. Optim. Theory Appl., April, 2023

2022

Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration.

[BibT_eX]

[DOI]

Optim. Methods Softw., 2022